Xsb as an efficient deductive database engine (1994)

by K Sagonas, T Swift, D S Warren
Venue:In Proceedings of the SIGMOD