@book{6885,
	author = {Wang, Guo-Jun and Zhou, Hong-Jun},
	title = {Introduction to mathematical logic and resolution principles},
	publisher = {Science Press},
	year = {2009},
	address = {Beijing},
	edition = {2nd ed.}
}