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

Cached

Download Links

by Gopalan Nadathur
Venue:JOURNAL OF AUTOMATED REASONING
Citations:30 - 12 self