Title: Automated Reasoning with Analytic Tableaux and Related Methods
Subjects: Artificial intelligence, Automatisches Beweisverfahren, Computer science, Software engineering