Henning, J. et al. 2024. Lattice-Based Generation of Euclidean Geometry Figures. The International FLAIRS Conference Proceedings. 37, 1 (May 2024). DOI:https://doi.org/10.32473/flairs.37.1.135297.