Annette Kuhlmann Ralf-Michael Vetter Christoph Lübbing Clemens-August Thole http://arxiv.org/abs/cs/0505008 2005 CoRR abs/cs/0505008 db/journals/corr/corr0505.html#abs-cs-0505008 informal publication