1. Faculty of Science, Department of Computer Science, University of Tübingen, Germany and Institute of Computing, University of Campinas, Brazil
2. Law School of Ribeirão Preto, University of São Paulo, Brazil
3. Institute of Computing, University of Campinas, Brazil