Constructive negation for Prolog: A real implementation

Susana Muñoz-Hernández, Juan José Moreno-Navarro. Constructive negation for Prolog: A real implementation. In Juan José Moreno-Navarro, Julio Mariño-Carballo, editors, AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002. pages 39-52, Facultad de Informática, Universidad Politécnica de Madrid, 2002. [doi]

Authors

Susana Muñoz-Hernández

This author has not been identified. Look up 'Susana Muñoz-Hernández' in Google

Juan José Moreno-Navarro

This author has not been identified. Look up 'Juan José Moreno-Navarro' in Google