Gasquet, O., Longin, D., Lorini, E., Maris, F., Regnier, P., & Soloviev, S. (2021). ToulST, A Teacher-and Student-friendly Language for Propositional Logic And Discrete Mathematics. Computer Tools in Education, 2, 13-25. http://cte.eltech.ru/ojs/index.php/kio/article/view/1708