Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo. Assertion-based Debugging of Higher-Order (C)LP Programs. In Olaf Chitil, Andy King, Olivier Danvy, editors, Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014. pages 225-235, ACM, 2014. [doi]
Abstract is missing.