"Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX '98" - читать интересную книгу автора (Harrie de Swart)