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

Xiaoping Chen, Jianmin Ji, Fangzhen Lin

Browse the full ICLP paper archive.