"Theorem Proving with Analytic Tableaux and Related Methods 4 conf., TABLEAUX '95" - читать интересную книгу автора (Peter Baumgartner, Reiner Hähnle, Joachim Posegga)