@book{57065,
	author = {Caferra, Ricardo},
	title = {Logic for computer science and artificial intelligence /},
	publisher = {Wiley,},
	year = {2011},
	address = {London, UK :}
}