Une autre interprétation top down des clauses de Horn: interface avec une base de données. - Christiane Massoutie; Patrick Sallé (SPLT, 1984)

Un langage logique orienté objet. - Patrick Sallé; Christiane Massoutie; Marcel Gandriau (SPLT, 1986)

Classes et Types: aides à la programmation en logique. - Marcel Gandriau; Christiane Massoutie (SPLT, 1989)

Vers une machine virtuelle pour l'évaluation des langages d'acteurs. - A. El Faker; Christiane Massoutie; Marc Pantel; Patrick Sallé (LMO, 1995)