Title: Tableau, Tableauresolution, und Tableaugraphresolution
Subjects: Automatic theorem proving