Le calcul relationnel au service de l'implantation d'un langage de programmation logique. - Remi Legrand (SPLT, 1987)

Extending Functional Programming Towards Relations. - Remi Legrand (ESOP, 1988)

Gel implicite, calcul formel et résolution d'équations en programmation logique. - Remi Legrand (SPLT, 1988)

Functions and Relations: The GRAAL System. - Patrick Bellot; Remi Legrand (STACS, 1988)

A Basis Result in Combinatory Logic. - Remi Legrand (J. Symb. Log., 1988)

Une machine à réduction d'un langage logique exploitant le parallélisme d'ADA. - D. Bourget; Remi Legrand (SPLT, 1989)

Relationnalisation des programmes logiques. - Remi Legrand (SPLT, 1989)