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]
Abstract is missing.