Representación de las primitivas conceptuales de UML 2.2 en lógica de predicados de primer orden. Entre cienc. ing. [Internet]. 2010 Jun. 30 [cited 2025 Apr. 3];4(7):47-61. Available from: https://revistas.ucp.edu.co/index.php/entrecienciaeingenieria/article/view/758