José Alberto Fernández Jack Minker Bottom-Up Compuation of Perfect Models for Disjunctive Theories. 33-51 1995 25 J. Log. Program. 1 db/journals/jlp/jlp25.html#FernandezM95