Introduction to mathematics of satisfiability - Marek, Victor W. (Chapman & Hall/CRC studies in informatics series, 2009)