L. C. Araujo e M. Lima-Marques, “Ontoprolog: uma linguagem para especificação de discursos sobre ontologias”, PCI, vol. 22, nº 2, p. 188–210, jun. 2017.