@book{26194,
	author = {LLOYD J W},
	title = {FOUNDATIONS OF LOGIC PROGRAMMING},
	publisher = {SPRINGER VERLAG},
	year = {1993},
	address = {LONDON},
	edition = {2}
}