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