Revantha RamanayakeBooksAutomated Reasoning with Analytic Tableaux and Related MethodsAuthor data: Open Library