Javier Leach Susana Nieva Mario Rodríguez-Artalejo Constraint Logic Programming with Hereditary Harrop Formulas. 307-321 1997 ILPS db/conf/slp/slp97.html#LeachNR97