XSB as an Efficient Deductive Database Engine (1994)

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