Brazil) Congress of Logic Applied to Technology 2002 (Sao Paulo author data searchable via API