%0 Thesis
%T Automatic reasoning over contract clauses
%U http://tede2.pucrs.br/tede2/handle/tede/9256
%I Pontif?cia Universidade Cat?lica do Rio Grande do Sul