Propositional logic deduction and algorithms - Kleine Büning, Hans 1948-; Lettmann, Theodor (Cambridge Univ. Press, 1999)