"Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX '99" - читать интересную книгу автора (Neil V. Murray)