A. A. Olenev, L. G. Zvereva, and T. H. Saieg, “Improving the Learning and Teaching of Mathematical Logic Elements Using Maple”, JHETP, vol. 22, no. 8, Aug. 2022.