Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski. Logic programs with monotone abstract constraint atoms. TPLP, 8(2):167-199, 2008. [doi]
@article{MarekNT08, title = {Logic programs with monotone abstract constraint atoms}, author = {Victor W. Marek and Ilkka Niemelä and Miroslaw Truszczynski}, year = {2008}, doi = {10.1017/S147106840700302X}, url = {http://dx.doi.org/10.1017/S147106840700302X}, tags = {constraints, logic programming, logic}, researchr = {https://researchr.org/publication/MarekNT08}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {8}, number = {2}, pages = {167-199}, }