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