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

by L Fribourg
Venue:Proceedings of the IEEE International Symposium on Logic Programming