Export: An assertion language for debugging of constraint logic programs
Puebla Sánchez, Alvaro Germán and Bueno Carrillo, Francisco and Hermenegildo, Manuel V. (1997). An assertion language for debugging of constraint logic programs. In: "ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming", October 1997, Port Jefferson, NY, USA.
Please select an output format:
