Vasilecas, O. and Būgaitė, D. (2021) “Correctness of the transformation: transformation of ontology axioms in formal rules”, Lietuvos matematikos rinkinys, 47(spec.), pp. 208–214. doi:10.15388/LMR.2007.24199.