Farias, Adalberto, Alexandre Mota, and Augusto Sampaio.
" Efficient and Mechanised Analysis of Infinite CSPz Specifications: strategy and tool support." <em>Anais do XVII Concurso de Teses e Dissertações,
Salvador/BA, 2004</em>. SBC, 2004,  
pp.64-68.