Adding Disjunction to Datalog - Eiter, T; Gottlob, G; Mannila, H (Proceedings of the Thirteenth ACM SIGACT−SIGMOD−SIGART Symposium on Principles of Database Systems‚ May 24−26‚ 1994‚ Minneapolis‚ Minnesota, 1994)