Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities.

Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen

Browse the full LPNMR paper archive.