@book{247025,
	title = {Computational logic / },
	publisher = {Elsevier,},
	year = {2014.},
	series = {Handbook of the history of logic ;},
	address = {Kidlington :},
	url = {http://www.sciencedirect.com/science/book/9780444516244}
}