"Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2005" - читать интересную книгу автора (Bernhard Beckert)