Representación de las primitivas conceptuales de UML 2.2 en lógica de predicados de primer orden. Entre Ciencia e Ingeniería, [S. l.], v. 4, n. 7, p. 47–61, 2010. DOI: 10.31908/19098367.758. Disponível em: https://revistas.ucp.edu.co/index.php/entrecienciaeingenieria/article/view/758. Acesso em: 7 apr. 2025.