Proc. IEEE Internat. Symposium on Logic Programming, Boston, 1985.
(1985)
Fribourg. L. (1985)
Fribourg. L. "SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting"