Farias, Adalberto, 		Mota, Alexandre, E 		Sampaio, Augusto.
" Efficient and Mechanised Analysis of Infinite CSPz Specifications: strategy and tool support" <em>Anais do Concurso de Teses e Dissertações (CTD)</em> [Online], (31 julho 2004)