[1]
Y. Zhou and Y. Zhang, “Progression Semantics for Disjunctive Logic Programs”, AAAI, vol. 25, no. 1, pp. 286-291, Aug. 2011.