Javier Leach Susana Nieva Mario Rodríguez-Artalejo Constraint Logic Programming with Hereditary Harrop Formula http://arxiv.org/abs/cs/0404053 2004 CoRR cs.PL/0404053 db/journals/corr/corr0404.html#cs-PL-0404053