Farias, A., 		Mota, A., & 		Sampaio, A.
(2004).
 Efficient and Mechanised Analysis of Infinite CSPz Specifications: strategy and tool support.
In <em>Anais do XVII Concurso de Teses e Dissertações</em>, (pp. 64-68). Porto Alegre: SBC.