Ullrich Hustadt, Boris Konev, Alexandre Riazanov, Andrei Voronkov
Browse the full CADE paper archive.