Alexander Wiesmaier Ulrich Rauchschwalbe Christoph Ludwig Birgit Henhapl Markus Ruppert Johannes Buchmann http://arxiv.org/abs/cs/0603011 2006 CoRR abs/cs/0603011 db/journals/corr/corr0603.html#abs-cs-0603011 informal publication