Bernd Borchert Lane A. Hemaspaandra Jörg Rothe Restrictive Acceptance Suffices for Equivalence Problems http://arxiv.org/abs/cs.CC/9907041 1999 CoRR cs.CC/9907041 db/journals/corr/corr9907.html#cs-CC-9907041 informal publication