"Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002" - читать интересную книгу автора (Uwe Egly, Christian G. Fernmüller)