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