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. Retrieved from http://cte.eltech.ru/ojs/index.php/kio/article/view/1708