Ji et al. "Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding." International Joint Conference on Artificial Intelligence, 2016.
Markdown
[Ji et al. "Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/ji2016ijcai-eliminating/)
BibTeX
@inproceedings{ji2016ijcai-eliminating,
title = {{Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding}},
author = {Ji, Jianmin and Wan, Hai and Wang, Kewen and Wang, Zhe and Zhang, Chuhan and Xu, Jiangtao},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2016},
pages = {1130-1137},
url = {https://mlanthology.org/ijcai/2016/ji2016ijcai-eliminating/}
}