A Prolog Database Machine. - Gilles Berger-Sabbatel; Jean-Christophe Ianeselli; Gia Toan Nguyen (IWDM, 1983)

Unification for a Prolog Data Base Machine. - Gilles Berger-Sabbatel; W. Dang; Jean-Christophe Ianeselli; Gia Toan Nguyen (ICLP, 1984)

Un opérateur d'unification pour une machine base de connaissance PROLOG. (An unification operator for a PROLOG knowledge base machine). - Jean-Christophe Ianeselli (1985)