1. Departamento de Ciências da Computação, Instituto de Matemática, Universidade Federal do Rio de Janeiro, P.O. Box 68530, 21945-970 Rio de Janeiro, RJ, Brazil
2. Department of Pure Mathematics, The University of Leeds, Leeds, LS2 9JT, United Kingdom