S. Vandevelde and J. Vennekens, “FOLL-E: Teaching First Order Logic to Children”, AAAI, vol. 37, no. 13, pp. 15869–15876, Jul. 2024.