@misc{indiciae379623fb4ed8,
  title = {Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard},
  author = {Mnacho Echenim and Radu Iosif and Nicolas Peltier},
  year = {2020},
  url = {https://arxiv.org/abs/2004.07578},
  note = {Source identifier: 2004.07578}
}