Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2017
Book title Buchtitel
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2017