resumo Preprint. Documento submetido para revisão pelos pares. Publicado em Theoretical Computer Science. ISSN 0304-3975. 401 (2008) 206-216.