1. Université Clermont Auvergne, Université Blaise-Pascal, LIMOS, CNRS, Aubière, France
2. LIA, Universidade Federal do Ceará, Brazil
3. Departamento de Computação, Centro Federal de Educação Tecnológica de Minas Gerais, Belo Horizonte, Brazil; and Departamento de Ciência da Computação, Universidade Federal de Minas Gerais, Belo Horizonte, Brazil
4. IM. COPPE, NCE, Universidade Federal do Rio de Janeiro, Brazil; and Instituto de Matemática e Estatística, Universidade do Estado do Rio de Janeiro, Brazil