Fribourg. L. "SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting"

Proc. (1985) Proc. IEEE Internat. Symposium on Logic Programming, Boston, 1985.  

Languages mentioned SLOG {1985} Logic programming