Lance Fortnow Joshua A. Grochow Complexity Classes of Equivalence Problems Revisited http://arxiv.org/abs/0907.4775 2009 CoRR abs/0907.4775 db/journals/corr/corr0907.html#abs-0907-4775 informal publication