J. Prior Martínez and G. Torregrosa Gironés, “Configural reasoning and verification procedures in geometric context”, RELIME, vol. 16, no. 3, pp. 339–368, Jul. 2023, doi: 10.12802/relime.13.1633.