@book{5407,
	author = {Caferra, Ricardo.},
	title = {Logic for computer science and artificial intelligence /},
	publisher = {John Wiley & son, },
	year = {2011},
	address = {U.S :}
}