@InCollection{BeckertHaehnle98,
author = {Bernhard Beckert and Reiner H\"ahnle},
title = {Analytic Tableaux},
part = {1: Tableau and Connection Calculi},
volume = {{I}: Foundations},
pages = {11--41},
booktitle = {Automated Deduction --- A Basis for Applications},
editor = {Wolfgang Bibel and Peter H. Schmitt},
publisher = {Kluwer, Dordrecht},
year = {1998}
}