Automated Reasoning With Analytic Tableaux And Related Methods door Roy Dyckhoff