Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding.

Jianmin Ji, Hai Wan, Kewen Wang, Zhe Wang, Chuhan Zhang, Jiangtao Xu

Browse the full IJCAI paper archive.