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]
@inproceedings{Munoz-Hernandez02a,
title = {Constructive negation for Prolog: A real implementation},
author = {Susana Muñoz-Hernández and Juan José Moreno-Navarro},
year = {2002},
url = {https://www.programmazionelogica.it/wp-content/uploads/2002/09/agp02_39.pdf},
researchr = {https://researchr.org/publication/Munoz-Hernandez02a},
cites = {0},
citedby = {0},
pages = {39-52},
booktitle = {AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002},
editor = {Juan José Moreno-Navarro and Julio Mariño-Carballo},
publisher = {Facultad de Informática, Universidad Politécnica de Madrid},
}