Zhou, Y.; Zhang, Y. Progression Semantics for Disjunctive Logic Programs. AAAI 2011, 25, 286-291.