Brazil) Congress of Logic Applied to Technology 2001 (Sao Paulo