Loop Formulas for Logic Programs with Arbitrary Constraint Atoms.

Jia-Huai You, Guohua Liu

Browse the full AAAI paper archive.