Farias, A., 		Mota, A., & 		Sampaio, A.
2004 jul 31.  Efficient and Mechanised Analysis of Infinite CSPz Specifications: strategy and tool support. Anais do Concurso de Teses e Dissertações da SBC (CTD-SBC). [Online] :