@inproceedings{     Giese00,
   author = {Martin Giese},
   title  = {Proof Search without Backtracking using Instance Streams, Position Paper},
   booktitle = {Proc.\ Int.\ Workshop on First-Order Theorem Proving, St.\ Andrews, Scotland},
   year = {2000},
   note = {Available online at
  \href{http://i12www.ira.uka.de/~key/doc/2000/giese00.ps.gz}{\texttt{http://i12www.ira.uka.de/\~{}key/doc/2000/giese00.ps.gz}}}
}