## A Proof-Theoretic Analysis of Goal-Directed Provability (1992)

### Cached

### Download Links

- [www.cs.rmit.edu.au]
- [www.cs.rmit.edu.au]
- DBLP

### Other Repositories/Bibliography

by
James Harland

Venue: | Journal of Logic and Computation |

Citations: | 14 - 7 self |