Joeri Engelfriet Heinrich Herre Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults. 1-25 1999 41 J. Log. Program. 1 db/journals/jlp/jlp41.html#EngelfrietH99