@book{213,
	author = {Miller, Dale. and Association for Logic Programming. and International Symposium on Logic Programming},
	title = {Logic programming :},
	publisher = {MIT Press,},
	year = {c1993.},
	series = {Logic programming},
	address = {Cambridge, Mass. :},
	note = {Papers presented at the 1993 International Logic Programming Symposium held in Vancouver, British Columbia, Canada, from Oct. 26-29, 1993.  Sponsored by the Association for Logic Programming, et al.}
}