@PhdThesis{Beckertphd98,
author = {Bernhard Beckert},
title = {Tableau-based Theorem Proving: A Unified View --
Integrating and Unifying Methods of Tableau-based
Theorem Proving},
school = {Universit\"at Karlsruhe, Department of Computer Science},
year = {1998},
note = {German translation is official thesis version}
}