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