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 May 5, 2024. https://www.journals.vu.lt/LMR/article/view/24199.