Gasquet, Olivier, Dominique Longin, Emiliano Lorini, Frederic Maris, Pierre Regnier, and Sergei Soloviev. “ToulST, A Teacher-and Student-Friendly Language for Propositional Logic And Discrete Mathematics”. Computer Tools in Education, no. 2 (August 15, 2021): 13-25. Accessed May 2, 2024. http://cte.eltech.ru/ojs/index.php/kio/article/view/1708.