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]
No references recorded for this publication.
No citations of this publication recorded.