Martin Desharnais, Petar Vukmirovic, Jasmin Blanchette, Makarius Wenzel
Browse the full ITP paper archive.