Congress of Logic Applied to Technology (4th 2003 Marília, Brazil)