Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes. Diagnosis and Debugging as Contradiction Removal in Logic Programs. In Miguel Filgueiras, Luís Damas, editors, Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA 93, Porto, Portugal, October 6-8, 1993, Proceedings. Volume 727 of Lecture Notes in Computer Science, pages 183-197, Springer, 1993.
@inproceedings{PereiraDA93:0,
title = {Diagnosis and Debugging as Contradiction Removal in Logic Programs},
author = {Luís Moniz Pereira and Carlos Viegas Damásio and José Júlio Alferes},
year = {1993},
tags = {logic programming, debugging, logic},
researchr = {https://researchr.org/publication/PereiraDA93%3A0},
cites = {0},
citedby = {0},
pages = {183-197},
booktitle = {Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA 93, Porto, Portugal, October 6-8, 1993, Proceedings},
editor = {Miguel Filgueiras and Luís Damas},
volume = {727},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57287-2},
}