@book{36978,
	author = {Schwichtenberg, Helmut},
	title = {Proof technology and computation /},
	publisher = {IOS Press,},
	year = {2006},
	address = {Amsterdam :},
	url = {http://www.loc.gov/catdir/toc/fy0707/2006927922.html}
}