Test d'occurence en PROLOG et grammaires attribuées. - Pierre Deransart; Gérard Ferrand; Michel Téguia (SPLT, 1989)

NSTO Programs (Not Subject to Occur-Check). - Pierre Deransart; Gérard Ferrand; Michel Téguia (ISLP, 1991)