@article{EIP2,
title = { Entailment is Undecidable for Symbolic Heap Separation Logic Formul{\ae} with Non-Established Inductive Rules },
author = {Echenim, Mnacho and Iosif, Radu and Peltier, Nicolas},
year = {2022},
journal = {Inf. Process. Lett.},
pages = {106169},
volume = {173},
team = {axe_Mohytos, RSD},
timestamp = {Mon, 11 Oct 2021 17:12:59 +0200},
biburl = {https://dblp.org/rec/journals/ipl/EchenimIP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
