Gilles Berger-Sabbatel, W. Dang, J. C. Ianeselli, Gia Toan Nguyen. Unification for a Prolog Data Base Machine. In ICLP. pages 207-217, 1984.
@inproceedings{SabbatelDIN84, title = {Unification for a Prolog Data Base Machine}, author = {Gilles Berger-Sabbatel and W. Dang and J. C. Ianeselli and Gia Toan Nguyen}, year = {1984}, tags = {Prolog, rule-based, data-flow, C++}, researchr = {https://researchr.org/publication/SabbatelDIN84}, cites = {0}, citedby = {0}, pages = {207-217}, booktitle = {ICLP}, }