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. doi:10.31908/19098367.758