- Rafael Caballero, Yolanda Garcìa-Ruiz, and Fernando Sáenz-Pérez. Debugging of wrong and missing answers for datalog programs with constraint handling rules. In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, pages 55-66, 2015. ACM.
- Rafael Caballero, Yolanda Garcia-Ruiz, and Fernando Saenz-Perez. Debugging Datalog Programs Through CHRs, 2012.
BACK TO INDEX