Vasilecas, Olegas, and Diana Būgaitė. “Correctness of the Transformation: Transformation of Ontology Axioms in Formal Rules”. Lietuvos matematikos rinkinys 47, no. spec. (June 14, 2021): 208–214. Accessed November 7, 2025. https://www.zurnalai.vu.lt/LMR/article/view/24199.