Konstantinos Georgatos http://arxiv.org/abs/cs.LO/0007033 2000 CoRR cs.LO/0007033 db/journals/corr/corr0007.html#cs-LO-0007033 informal publication