SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting (1985)

by L Fribourg
Venue:In Proc. IEEE Internat. Symposium on Logic Programming