Gasquet, O. et al. (2021) “ToulST, A Teacher-and Student-friendly Language for Propositional Logic And Discrete Mathematics”, Computer Tools in Education, (2), pp. 13–25. Available at: http://cte.eltech.ru/ojs/index.php/kio/article/view/1708 (Accessed: 25 July 2026).