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

by M Giese
Venue:3rd Int. Work. on First-Order Theorem Proving (FTP