Adalberto Farias, Alexandre Mota, and Augusto Sampaio. 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>, julho 31, 2004, Salvador/BA, Brasil. SBC, Porto Alegre, Brasil, 64-68.