@book{43156,
	author = {Hogger, Christopher, John},
	title = {Essentials of logic programming},
	year = {1990},
	series = {Graduate texts in computer science},
	address = {Oxford: ClareNew Delhion Press.}
}