Anatoli Degtyarev Michael Fisher Boris Konev http://arxiv.org/abs/cs.LO/0306041 2003 CoRR cs.LO/0306041 db/journals/corr/corr0306.html#cs-LO-0306041 informal publication