Vasilecas, Olegas, and Diana Būgaitė. 2021. “Correctness of the Transformation: Transformation of Ontology Axioms in Formal Rules”. Lietuvos Matematikos Rinkinys 47 (spec.): 208–214. https://doi.org/10.15388/LMR.2007.24199.