%0 Journal Article %1 journals/tplp/DrescherW10 %A Drescher, Christian %A Walsh, Toby %D 2010 %J Theory Pract. Log. Program. %K %N 4-6 %P 465-480 %T A translational approach to constraint answer set solving. %U http://dblp.uni-trier.de/db/journals/tplp/tplp10.html#DrescherW10 %V 10

@article{journals/tplp/DrescherW10, added-at = {2023-12-12T21:18:24.000+0100}, author = {Drescher, Christian and Walsh, Toby}, biburl = {https://www.bibsonomy.org/bibtex/2c89a099d0f0543b971ba1528a1250dcd/admin}, ee = {https://doi.org/10.1017/S1471068410000220}, interhash = {3c2ff6d76aba1bec285c7f4180c28de7}, intrahash = {c89a099d0f0543b971ba1528a1250dcd}, journal = {Theory Pract. Log. Program.}, keywords = {}, number = {4-6}, pages = {465-480}, timestamp = {2023-12-12T21:18:24.000+0100}, title = {A translational approach to constraint answer set solving.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp10.html#DrescherW10}, volume = 10, year = 2010 }