Logic Grammars and Lambda-Prolog. - Serge Le Huitouze; Pascale Louvet; Olivier Ridoux (ICLP, 1993)

Les grammaires logiques et lambda-Prolog. - Serge Le Huitouze; Pascale Louvet; Olivier Ridoux (JFPL, 1993)

Mise en oeuvre d'un traducteur de lambda-Prolog et Llambda. - Pascale Louvet (JFPL, 1993)

Parametric Polymorphism for Typed Prolog and lambda-Prolog. - Pascale Louvet; Olivier Ridoux (PLILP, 1996)