Brazil) Congress of Logic Applied to Technology (4th 2003 Mar-Lia