László Babai Anna Gál Peter G. Kimmel Satyanarayana V. Lokam 137-166 2003 33 SIAM J. Comput. 1 http://epubs.siam.org/sam-bin/dbq/article/37594 db/journals/siamcomp/siamcomp33.html#BabaiGKL03