%0 Journal Article %1 journals/corr/abs-2006-07440 %A Varanasi, Sarat Chandra %A Mittal, Neeraj %A Gupta, Gopal %D 2020 %J CoRR %K dblp %T Pointer Data Structure Synthesis from Answer Set Programming Specifications. %U http://dblp.uni-trier.de/db/journals/corr/corr2006.html#abs-2006-07440 %V abs/2006.07440

@article{journals/corr/abs-2006-07440, added-at = {2022-10-26T00:00:00.000+0200}, author = {Varanasi, Sarat Chandra and Mittal, Neeraj and Gupta, Gopal}, biburl = {https://www.bibsonomy.org/bibtex/208ca1109cd01fd68e644472c39689113/dblp}, ee = {https://arxiv.org/abs/2006.07440}, interhash = {696909737de5e5480328d7fd2aba94ba}, intrahash = {08ca1109cd01fd68e644472c39689113}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:55:51.000+0200}, title = {Pointer Data Structure Synthesis from Answer Set Programming Specifications.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2006.html#abs-2006-07440}, volume = {abs/2006.07440}, year = 2020 }