@InProceedings{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} 2000)},
venue = {{St. Andrews}, Scotland},
editor = {P. Baumgartner and H. Zhang},
pages = {44--55},
year = {2000}
}