1. Department of Computer Science, Federal University of Bahia, Av. Adhemar de Barros, S/N, Ondina, Salvador, BA, Brazil
2. School of Mathematics and Statistics, The University of Western Australia, Crawley, WA 6009, Australia
3. Institute of Mathematics and Computer Science, University of São Paulo, Avenida Trabalhador Sãocarlense, 400, São Carlos, P. O. Box 668, SP, Brazil