A Proof Procedure for the Logic of Hereditary Harrop Formulas (1993)

by G Nadathur
Venue:Journal of Automated Reasoning