SLOG: A logic programming language interpreter based on clausal superposition and rewriting (1985)

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