Loop Formulas for Logic Programs with Arbitrary Constraint Atoms.

Jia-Huai You Guohua Liu Loop Formulas for Logic Programs with Arbitrary Constraint Atoms. 584-589 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#YouL08