An Assertion Language for Debugging of Constraint Logic Programs (1997)

by Germán Puebla , Francisco Bueno , Manuel Hermenegildo
Venue:In Proceedings of the ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming
Citations:11 - 7 self