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