Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding.
['Jianmin Ji', 'Hai Wan', 'Kewen Wang', 'Zhe Wang', 'Chuhan Zhang', 'Jiangtao Xu']
Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding.