, Departamento de Informa ́tica e Cieˆncia da Computac ̧a ̃o, Universidade do Estado do Rio de Janeiro, Brasil