A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools - Teles, Joana (2023)
In Proceedings ThEdu'22, arXiv:2303.05360