H.: Disjunctive datalog (1997)

by T Eiter, G Gottlob, Mannila
Venue:ACM Trans. Database Syst