Queries to hybrid MKNF knowledge bases through oracular tabling (2012)

by J J Alferes, M Knorr, T Swift
Venue:ACM Transactions on Computational Logic