@book{67626,
	author = {Harrison, J.},
	title = {Handbook of practical logic and automated reasoning /},
	publisher = {Cambridge University Press,},
	year = {2009},
	address = {Cambridge :}
}