%0 Journal Article %1 journals/jar/EchenimP23 %A Echenim, Mnacho %A Peltier, Nicolas %D 2023 %J J. Autom. Reason. %K dblp %N 3 %P 30 %T A Proof Procedure for Separation Logic with Inductive Definitions and Data. %U http://dblp.uni-trier.de/db/journals/jar/jar67.html#EchenimP23 %V 67

@article{journals/jar/EchenimP23, added-at = {2023-09-22T00:00:00.000+0200}, author = {Echenim, Mnacho and Peltier, Nicolas}, biburl = {https://www.bibsonomy.org/bibtex/263478b733cb69c7db4b2dc221db8b17d/dblp}, ee = {https://doi.org/10.1007/s10817-023-09680-4}, interhash = {1eb141db2607c54041af29e2993b54db}, intrahash = {63478b733cb69c7db4b2dc221db8b17d}, journal = {J. Autom. Reason.}, keywords = {dblp}, month = {September}, number = 3, pages = 30, timestamp = {2024-04-09T05:03:07.000+0200}, title = {A Proof Procedure for Separation Logic with Inductive Definitions and Data.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar67.html#EchenimP23}, volume = 67, year = 2023 }