Adnan H. Yahya Minimal model generation for refined answering of generalized queries in disjunctive deductive databases. 219-249 2000 34 Data Knowl. Eng. 3 db/journals/dke/dke34.html#Yahya00 http://dx.doi.org/10.1016/S0169-023X(00)00016-1