@book{11014,
	author = {Marek, W. Viktor},
	title = {Introduction to mathematics of satisfiability },
	publisher = {CRC Press,},
	year = {c2009.},
	series = {Chapman & Hall/CRC studies in informatics series.},
	address = {Boca Raton :}
}