FARIAS, Adalberto; 						MOTA, Alexandre; 						SAMPAIO, Augusto.
 Efficient and Mechanised Analysis of Infinite CSPz Specifications: strategy and tool support. <em>In</em>: CONCURSO DE TESES E DISSERTAÇÕES (CTD), 17.	, 2004, Salvador/BA.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2004
.
 p. 64-68. 
			ISSN 2763-8820.