%0 Journal Article %1 journals/tplp/Redl19 %A Redl, Christoph %D 2019 %J Theory Pract. Log. Program. %K dblp %N 3 %P 360-411 %T Inlining External Sources in Answer Set Programs. %U http://dblp.uni-trier.de/db/journals/tplp/tplp19.html#Redl19 %V 19

@article{journals/tplp/Redl19, added-at = {2020-02-13T00:00:00.000+0100}, author = {Redl, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2b62098713082d8d64ed9b42d2b621400/dblp}, ee = {https://doi.org/10.1017/S147106841800056X}, interhash = {871c0369c3243eb4caa1065ab188c793}, intrahash = {b62098713082d8d64ed9b42d2b621400}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 3, pages = {360-411}, timestamp = {2020-02-14T11:43:25.000+0100}, title = {Inlining External Sources in Answer Set Programs.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp19.html#Redl19}, volume = 19, year = 2019 }