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. Comput. Tools Educ. [Internet]. 2021 Aug. 15 [cited 2026 Nov. 2];(2):13-25. Available from: http://cte.eltech.ru/ojs/index.php/kio/article/view/1708