@inproceedings{EIP0b,
title = { Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard },
author = {Echenim, Mnacho and Iosif, Radu and Peltier, Nicolas},
year = {2020},
booktitle = {{LPAR} 2020},
pages = {191--211},
publisher = {EasyChair},
series = {EPiC Series in Computing},
volume = {73},
team = {RSD, axe_Mohytos},
timestamp = {Fri, 29 May 2020 12:05:09 +0200},
biburl = {https://dblp.org/rec/conf/lpar/EchenimIP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
