Using Constraints in Local Proofs for CLP Debugging

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/3-540-49201-1_24 ◽

1998 ◽

pp. 350-359

Author(s):

Claude Laï

Download Full-text