Vincent Borrel Franck Legendre Marcelo Dias de Amorim Serge Fdida http://arxiv.org/abs/cs/0612045 2006 CoRR abs/cs/0612045 db/journals/corr/corr0612.html#abs-cs-0612045 informal publication