Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs.

Xiaoping Chen Jianmin Ji Fangzhen Lin Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs. 130-144 2009 ICLP http://dx.doi.org/10.1007/978-3-642-02846-5_15 conf/iclp/2009 db/conf/iclp/iclp2009.html#ChenJL09