1) I. Drămnesc, T. Jebelean, Automated Reasoning in the Class: An Educational Project for Software Engineers In: Proceedings of INTED2022: 16th International Technology, Education and Development Conference, pp. 6224-6228, March 2022, Valencia, Spain,
https://doi.org/10.21125/inted.2022.1581
2) I. Drămnesc, E. Abraham, T. Jebelean, G. Kusper, S. Stratulat, ARC: An Educational Project on Automated Reasoning in the Class In Proceedings of EdMedia+ Innovate Learning 2022, pp. 934-043, June 2022, New York City, NY, United States of America, AACE,
https://www.learntechlib.org/primary/p/221395
3) I. Drămnesc, E. Abraham, T. Jebelean, G. Kusper, S. Stratulat, Experiments with Automated Reasoning in the Class In: Proceedings of CICM 2022: 15th International Conference on Intelligent Computer Mathematics, pp. 287-304, September 2022, Tbilisi, Georgia, LNCS, Springer,
https://doi.org/10.1007/978-3-031-16681-5_20
4) I. Drămnesc, E. Abraham, T. Jebelean, G. Kusper, S. Stratulat, Automated Reasoning in the Class, Journal of Computer Algebra Rundbrief, Nr. 71, pp. 21-26, Oktober 2022
https://fachgruppe-computeralgebra.de/data/CA-Rundbrief/car71.pdf#page=21