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