## Proof Search without Backtracking using Instance Streams (2000)

by
Martin Giese

Venue: | In Proc. Int. Workshop on First-Order Theorem Proving |

Citations: | 7 - 2 self |