1. Instituto da Computação, Universidade Federal de Mato Grosso, Brasil and Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, Brasil
2. Instituto de Computação, Universidade Federal de Mato Grosso, Brasil
3. Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, Brasil