Relacionado Bravo Celedón, María Loreto Miembro de la facultad Formalization and reasoning about spatial semantic integrity constraints Artículo académico
