Adding Disjunction to Datalog.

Thomas Eiter, Georg Gottlob, Heikki Mannila

Browse the full PODS paper archive.