### 6 papers:

- PPDP-2009-Aranda-LopezNSS #constraints #database #deduction #fixpoint #implementation #semantics
- Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas (GAL, SN, FSP, JSH), pp. 117–128.
- FLOPS-2008-NievaSS #constraints #database #deduction #formal method
- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation (SN, JSH, FSP), pp. 289–304.
- FLOPS-2001-Delzanno #case study #debugging #prolog #protocol #security #specification
- Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and λ Prolog — A Case-study (GD), pp. 123–137.
- ILPS-1997-LeachNR #constraints #logic programming
- Constraint Logic Programming with Hereditary Harrop Formulas (JL, SN, MRA), pp. 307–321.
- ILPS-1995-Hui-Bon-Hoa #proving
- Clause-based proofs for hereditary Harrop formulas (AHBH), pp. 179–193.
- LICS-1987-MillerNS #proving
- Hereditary Harrop Formulas and Uniform Proof Systems (DM, GN, AS), pp. 98–105.