TI - Teoria de primeira ordem para encelado, dione e helene PY - 1993 AU - Bevilacqua, Joyce da Silva AU - Sessin, Wagner PP - São Paulo ER -