Proof technology and computation [proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July - 10 August 2003] - Schwichtenberg, Helmut 1942- (IOS Press, 2006)