An Application of MACSYMA to Nonlinear Systems Decoupling. - Daniel Claude; Pierre Dufresne (EUROCAM, 1982)

PHOCUS: Production rules, Horn clauses, Objects and Contexts in a Unification-based System. - David Chan; Pierre Dufresne; Reinhard Enders (SPLT, 1987)

SEPIA - An Extendible Prolog System. - Micha Meier; Abderrahmane Aggoun; David Chan; Pierre Dufresne; Reinhard Enders; Dominique Henry de Villeneuve; Alexander Herold; Philip Kay; Bruno Perez; Emmanuel van Rossum; Joachim Schimpf (IFIP Congress, 1989)