@book{70465,
	author = {International Conference on Logic Programming},
	title = {Logic programming :},
	publisher = {MIT Press,},
	year = {1987},
	address = {Cambridge, Mass. :},
	note = {Papers for the Fourth International Conference on Logic Programming at the University of Melbourne, Australia, in May 1987}
}