J. Novotná, T. Kozánek Kiss, J. Michal, and P. Vankúš, “Comparison of different types of reasoning & proof present in solved tasks from geometry in Slovak and Czech mathematics textbooks for lower secondary school ”, AUPC, vol. 15, pp. 49–67, Dec. 2023.