"Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003" - читать интересную книгу автора (Marta Cialdea Mayer, Fiora Pirri)