Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez. Debugging of wrong and missing answers for datalog programs with constraint handling rules. In Moreno Falaschi, Elvira Albert, editors, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015. pages 55-66, ACM, 2015. [doi]
@inproceedings{CaballeroGS15,
title = {Debugging of wrong and missing answers for datalog programs with constraint handling rules},
author = {Rafael Caballero and Yolanda García-Ruiz and Fernando Sáenz-Pérez},
year = {2015},
doi = {10.1145/2790449.2790522},
url = {http://doi.acm.org/10.1145/2790449.2790522},
researchr = {https://researchr.org/publication/CaballeroGS15},
cites = {0},
citedby = {0},
pages = {55-66},
booktitle = {Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
editor = {Moreno Falaschi and Elvira Albert},
publisher = {ACM},
isbn = {978-1-4503-3516-4},
}