@book{16501,
	author = {Guo-Jun, Wang and Hong-jun, zhou},
	title = {Introduction to mathematical logic and resolution principle /},
	publisher = {Science press ;},
	year = {c2009.},
	address = {Beijing ;},
	edition = {2nd.ed},
	note = {includes index}
}