@book{93227,
	author = {Harrison, John},
	title = {Handbook of practical logic and automated reasoning},
	publisher = {Cambridge University Press},
	year = {2009},
	address = {Cambridge}
}