On Elementary Loops and Proper Loops for Disjunctive Logic Programs.

Jianmin JiHai WanPeng Xiao
Published in: AAAI (2015)