List of citations in Numdam for : Logic and functional programming by retractions

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 22 (1988) no. 3, pp. 271-310.

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 22 (1988) no. 4, pp. 395-436.