Dept. Ciência da Computação, Instituto de Ciências Exatas. Univ. Federal de Minas Gerais (Brasil)