The Inverse Method (2001)

by Anatoli Degtyarev, Andrei Voronkov, Second Readers Ullrich Hustadt, Gregory Mints, Frank Pfenning, Renate Schmidt