Gasquet O, Longin D, Lorini E, Maris F, Regnier P, Soloviev S. ToulST, A Teacher-and Student-friendly Language for Propositional Logic And Discrete Mathematics. CTE [Internet]. 2021Aug.15 [cited 2024May2];(2):13-5. Available from: http://cte.eltech.ru/ojs/index.php/kio/article/view/1708