Relacionado Deductive Systems' Representation and an Incompleteness Result in the Situation Calculus Artículo académico Saez Gonzalez, Pablo Daniel Miembro de la facultad
