@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}
}