Representación de las primitivas conceptuales de UML 2.2 en lógica de predicados de primer orden. (2010). Entre Ciencia E Ingeniería, 4(7), 47-61. https://doi.org/10.31908/19098367.758