Andreas Behrend: A Fixpoint Approach to State Generation for Stratifiable Disjunctive Deductive Databases. ADBIS 2007: 283-297