David R. Cok, Alberto Griggio, Roberto Bruttomesso, Morgan Deters
Browse the full CADE paper archive.