@book{3093,
	author = {Apt, K. R. and Bakker, J. W.},
	title = {Logic programming languages:},
	publisher = {The MIT Press,},
	year = {1993},
	address = {London,UK:}
}