Claude Laï. Using Constraints in Local Proofs for CLP Debugging. In Gopal Gupta, editor, Practical Aspects of Declarative Languages, First International Workshop, PADL 99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings. Volume 1551 of Lecture Notes in Computer Science, pages 350-359, Springer, 1999. [doi]
Abstract is missing.