C. Camarão, and L. Figueiredo. Fuji International Symposium on Functional and Logic Programming, volume 1722 of Lecture Notes in Computer Science, page 37-52. Springer, (1999)
F. de L. P. Duarte-Figueiredo. Federal University of Minas Gerais, Brazil, (2004)ndltd.org (oai:agregador.ibict.br.BDTD_UFMG:oai:bibliotecadigital.ufmg.br:MTD2BR-SLBS-645JW2).
C. Figueiredo. Federal University of Minas Gerais, Brazil, (2007)ndltd.org (oai:agregador.ibict.br.BDTD_UFMG:oai:bibliotecadigital.ufmg.br:MTD2BR-RVMR-788NPM).