Mnacho Echenim, Nicolas Peltier. An undecidability result for Separation Logic with theory reasoning. Inf. Process. Lett., 182:106359, August 2023. [doi]
@article{EchenimP23, title = {An undecidability result for Separation Logic with theory reasoning}, author = {Mnacho Echenim and Nicolas Peltier}, year = {2023}, month = {August}, doi = {10.1016/j.ipl.2023.106359}, url = {https://doi.org/10.1016/j.ipl.2023.106359}, researchr = {https://researchr.org/publication/EchenimP23}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {182}, pages = {106359}, }