%0 Journal Article %1 journals/tplp/LierlerS17 %A Lierler, Yuliya %A Susman, Benjamin %D 2017 %J Theory Pract. Log. Program. %K dblp %N 4 %P 559-590 %T On relation between constraint answer set programming and satisfiability modulo theories. %U http://dblp.uni-trier.de/db/journals/tplp/tplp17.html#LierlerS17 %V 17

@article{journals/tplp/LierlerS17, added-at = {2020-02-13T00:00:00.000+0100}, author = {Lierler, Yuliya and Susman, Benjamin}, biburl = {https://www.bibsonomy.org/bibtex/259ecd029a4e3ae2e4aad7e4968d2704b/dblp}, ee = {https://doi.org/10.1017/S1471068417000114}, interhash = {45bc3b334f5550f1e11c00c28e2b4c58}, intrahash = {59ecd029a4e3ae2e4aad7e4968d2704b}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 4, pages = {559-590}, timestamp = {2020-02-14T11:43:53.000+0100}, title = {On relation between constraint answer set programming and satisfiability modulo theories.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp17.html#LierlerS17}, volume = 17, year = 2017 }