Representación De Las Primitivas Conceptuales De UML 2.2 En lógica De Predicados De Primer Orden. Entre cienc. ing. 2010, 4 (7), 47-61. https://doi.org/10.31908/19098367.758.