Ryan Williams 0001 http://arxiv.org/abs/1212.1891 2012 CoRR abs/1212.1891 db/journals/corr/corr1212.html#abs-1212-1891