Sponsors:

CLC -- Center for Logic and Computation, Universidade Técnica de Lisboa

EU Feder POCTI Program (Project ConTComp: POCTI/MAT/45978/2002)

Fundação para a Ciência e Tecnologia

GRICES/EGIDE  Programa PESSOA of integrated actions France/Portugal

ISA/UTL -- Instituto Superior de Agronomia, Universidade Técnica de Lisboa

DM/ISA/UTL -- Department of Mathematics, Instituto Superior de Agronomia, Universidade Técnica de Lisboa