@book{95529,
	author = {NATO Advanced Study Institute on Proof Technology and Computation and Schwichtenberg, Helmut, and ebrary, Inc.},
	title = {Proof technology and computation},
	publisher = {IOS Press,},
	year = {c2006.},
	series = {NATO science series. Series III, Computer and systems sciences,},
	address = {Amsterdam ;},
	note = {"Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003"--T.p. verso.},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10152502}
}