Author: Brazil) Congress of Logic Applied to Technology 2002 (Sao Paulo