V. Zlámal, “Possibilities of Preparing Pupils for Proof Problems of Synthetic Plane Geometry Solvable by Deductive Methods”, JAM, vol. 20, pp. 440–448, Dec. 2021.