Automated Reasoning With Analytic Tableaux and Related Methods, Lecture Notes in Artificial Intelligence