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

Search Strategy for Prolog Data Bases. - Gilles Berger-Sabbatel; W. Dang (IWDM, 1987)