Aplicação da análise de complexidade na exploração do paralelismo na programação em Lógica - Geyer, Cláudio Fernando Resin (CACIC [CD-ROM])