Automated Reasoning with Analytic Tableaux and Related MethodsSerenella Cerrito, Andrei Popescu · First published 2019Open the Tome
