Progression Semantics for Disjunctive Logic Programs
Proceedings of the AAAI Conference on Artificial Intelligence (2011) - Comments
doi: 10.1609/aaai.v25i1.7843  issn: 2374-3468  issn: 2159-5399 

Yi Zhou, Yan Zhang