@Unpublished{Beckert00a,
  author        = {Bernhard Beckert},
  title         = {Depth-first Proof Search without Backtracking for
		   Free Variable Clausal Tableaux},
  booktitle     = {Third International Workshop on First-Order Theorem
                   Proving (FTP), St.~Andrews, Scotland},
  editor        = {P. Baumgartner and H. Zhang},
  pages         = {44--55},
  year          = {2000},                            
}