@InProceedings{Beckert99,
  author	= {Bernhard Beckert},
  title		= {Depth-first Proof Search without Backtracking for
		   Free Variable Semantic Tableaux},
  booktitle	= {International Conference on Automated Reasoning with
                   Analytic Tableaux and Related Methods ({TABLEAUX} '99),
                   Position Papers},
  venue         = {Saratoga Springs, {NY}, {USA}},
  editor        = {Neil Murray},
  publisher	= {Institute for Programming and Logics, Department of
 		   Computer Science, University at Albany -- SUNY},
  series        = {Technical Report 99-1},
  pages         = {33--54},		  
  year		= {1999}
}