Irit Dinur Éva Tardos Special Issue on Foundations of Computer Science. 2008 37 SIAM J. Comput. 6 db/journals/siamcomp/siamcomp37.html#DinurT08