@book{71721,
	author = {Apt, Krzysztof R. and Bakker, J. W. de.},
	title = {Logic programming languages},
	publisher = {Massachusetts Institute of Technology,},
	year = {1993},
	address = {Cambridge, Mass. :}
}