Danny Dolev, Kevin Karplus, Alan Siegel, Alex Strong, Jeffrey D. Ullman
Browse the full STOC paper archive.