Home Project Download Documentation Authors Acknowledgements Rodrigo Assirati Dias <rdias at ime.usp.br> http://www.ime.usp.br/~rdias Dr. Roberto Hirata <hirata at ime.usp.br> http://www.ime.usp.br/~hirata Dept. of Computer Science Institute of Mathematics and Statistics University of São Paulo