#### DMCA

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

### Cached

### Download Links

- [folli.loria.fr]
- [ftp.cs.duke.edu]
- [www.cs.uchicago.edu]
- DBLP

### Other Repositories/Bibliography

by
Gopalan Nadathur

Venue: | JOURNAL OF AUTOMATED REASONING |

Citations: | 34 - 12 self |