Universal Retractions on DI-Domains - Xavier Gouy; Ying Jiang (Inf. Comput., 1995)

Strong Stability and the Incompleteness of Stable Models for lambda-Calculus. - Olivier Bastonero; Xavier Gouy (Ann. Pure Appl. Log., 1999)