William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer
Browse the full CADE paper archive.