Adnan H. Yahya José Alberto Fernández Jack Minker Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases. 117-143 1994 13 J. Autom. Reasoning 1 db/journals/jar/jar13.html#YahyaFM94