Proof search without backtracking using instance streams, position paper (2000)

by M Giese
Venue:In Proc. Int. Workshop on First-Order Theorem Proving