%0 Journal Article %1 journals/tocl/DemriD15 %A Demri, Stéphane %A Deters, Morgan %D 2015 %J ACM Trans. Comput. Log. %K dblp %N 2 %P 15:1-15:36 %T Two-Variable Separation Logic and Its Inner Circle. %U http://dblp.uni-trier.de/db/journals/tocl/tocl16.html#DemriD15 %V 16

@article{journals/tocl/DemriD15, added-at = {2018-11-06T00:00:00.000+0100}, author = {Demri, Stéphane and Deters, Morgan}, biburl = {https://www.bibsonomy.org/bibtex/263cd9b00d0bee8ca5ade10aac09eec88/dblp}, ee = {https://doi.org/10.1145/2724711}, interhash = {49ac9f65e8ee3df6d289c494096660d3}, intrahash = {63cd9b00d0bee8ca5ade10aac09eec88}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 2, pages = {15:1-15:36}, timestamp = {2018-11-07T12:18:06.000+0100}, title = {Two-Variable Separation Logic and Its Inner Circle.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl16.html#DemriD15}, volume = 16, year = 2015 }