Integrating Modes and Subtypes into a Prolog Type-Checker. - Yann Rouzaud; Lan Nguyen-Phuong (JICSLP, 1992)

Un système déclaratif de types pour PROLOG. - Lan Nguyen-Phuong (1992)

Déclarations de Types en Prolog III. - Lan Nguyen-Phuong (JFPLC, 1994)