The following publications are possibly variants of this publication:
- Characterizations of stable model semantics for logic programs with arbitrary constraint atomsYi-Dong Shen, Jia-Huai You, Li-Yan Yuan. tplp, 9(4):529-564, 2009. [doi]
- Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic ProgramsGuohua Liu, Jia-Huai You. FUIN, 106(1):25-43, 2011. [doi]
- Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic ProgramsGuohua Liu, Jia-Huai You. FUIN, 101(3):237-255, 2010. [doi]
- Computing Loops with at Most One External Support Rule for Basic Logic Programs with Arbitrary Constraint AtomsJianmin Ji, Fangzhen Lin, Jia-Huai You. tplp, 13(4-5-Online-Supplement), 2013. [doi]
- Loop formulas for description logic programsYisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen. tplp, 10(4-6):531-545, 2010. [doi]
- Logic Programs with Abstract Constraint Atoms: The Role of ComputationsLengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski. ICLP 2007: 286-301 [doi]
- Logic programs with abstract constraint atoms: The role of computationsLengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski. ai, 174(3-4):295-315, 2010. [doi]
- Strong Equivalence of Logic Programs with Abstract Constraint AtomsGuohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, Jia-Huai You. lpnmr 2011: 161-173 [doi]