%0 Journal Article %1 journals/tplp/ShenYY09 %A Shen, Yi-Dong %A You, Jia-Huai %A Yuan, Li-Yan %D 2009 %J Theory Pract. Log. Program. %K dblp %N 4 %P 529-564 %T Characterizations of stable model semantics for logic programs with arbitrary constraint atoms. %U http://dblp.uni-trier.de/db/journals/tplp/tplp9.html#ShenYY09 %V 9

@article{journals/tplp/ShenYY09, added-at = {2020-02-13T00:00:00.000+0100}, author = {Shen, Yi-Dong and You, Jia-Huai and Yuan, Li-Yan}, biburl = {https://www.bibsonomy.org/bibtex/2afd4a968e5f3498bb393def6324eb56c/dblp}, ee = {https://doi.org/10.1017/S1471068409990056}, interhash = {71b724ac1adc869771c7b85be7bbc77e}, intrahash = {afd4a968e5f3498bb393def6324eb56c}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 4, pages = {529-564}, timestamp = {2020-02-14T11:44:02.000+0100}, title = {Characterizations of stable model semantics for logic programs with arbitrary constraint atoms.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp9.html#ShenYY09}, volume = 9, year = 2009 }