@book{766,
	author = {Schwichtenberg, Helmut, and NATO Advanced Study Institute on Logic of Computation},
	title = {Logic of computation /},
	publisher = {Springer,},
	year = {c1997.},
	address = {Berlin ;},
	note = {Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995.},
	url = {http://www.loc.gov/catdir/enhancements/fy0902/97017154-d.html}
}