Constraint Logic Programming with Hereditary Harrop Formula.

Javier Leach Susana Nieva Mario Rodríguez-Artalejo Constraint Logic Programming with Hereditary Harrop Formula. 409-445 2001 1 TPLP 4 db/journals/tplp/tplp1.html#LeachNR01