Witnesses for Answer Sets of Basic Logic Programs.

Yisong Wang, Xianglong Wang, Zhongtao Xie, Thomas Eiter

Browse the full IJCAI paper archive.