A proof procedure for the logic of hereditary Harrop formulas (1993)

by Gopalan Nadathur
Venue:Journal of Automated Reasoning