H.: Disjunctive Datalog (1997)

by T Eiter, G Gottlob, Mannila
Venue:ACM TODS