Mora-Torres, M.; Laureano-Cruces, A. L.; Ramírez-Rodríguez, J.; Espinosa-Paredes, G. Analysis and Design of the Knowledge Representation for the Implementation of a Distributed Reasoning. Rev. mat. (En línea) 2009, 16, 267-281.