Unification for a Prolog Data Base Machine.

Gilles Berger-Sabbatel, W. Dang, Jean-Christophe Ianeselli, Gia Toan Nguyen

Browse the full ICLP paper archive.