@inproceedings{     Giese00,
   author = {Martin Giese},
   title  = {Proof Search without Backtracking using Instance Streams, Position Paper},
   booktitle = {3rd Int.\ Workshop on First-Order Theorem
                   Proving (FTP), St.~Andrews, Scotland, TR 5/2000 Univ.\ of Koblenz},
   pages = {227-228},
   editor = {Peter Baumgartner and Hantao Zhang},
   year = {2000}
}