title: disjunctive datalog. authors: t eiter , g gottlob , h mannila. venue: acm trans . database syst .. year: 1997
title: adding disjunction to datalog. authors: t eiter , g gottlob , h mannila. venue: nan. year: nan