Le temps, la chronologie et Prolog. - P. Legay; Claudette Sayettat (SPLT, 1986)

WELL!: An Evaluation Procedure for All Logic Programs. - Nicole Bidoit; P. Legay (ICDT, 1990)