A Framework for Assertion-Based Debugging in Constraint Logic Programming.

Germn Puebla, Francisco Bueno, Manuel V. Hermenegildo

Browse the full CP paper archive.