Introduction to mathematics of satisfiability - Marek, Wiktor (Boca Raton, FL : CRC Press, 2009)
'A Chapman & Hall book.'
Includes bibliographical references and index
Keywords: Propositional calculus; Logic, Symbolic and mathematical