Ilya Kapovich Alexei G. Myasnikov Paul Schupp Vladimir Shpilrain Average-case complexity and decision problems in group theory http://arxiv.org/abs/math.GR/0206273 2002 CoRR math.GR/0206273 db/journals/corr/corr0206.html#math-GR-0206273 informal publication