"Resolution Methods for the Decision Problem " - читать интересную книгу автора (C. Fermüller, A. Leitsch, Tanel Tammet, Nail Zamov)