@TechReport{LingDardinierArltMuellerExt26,
  title={Sound State Encodings in Translational Separation Logic Verifiers (Extended Version)},
  author={Hongyi Ling and Thibault Dardinier and Ellen Arlt and Peter M\"{u}ller},
  year={2026},
  eprint={2603.20001},
  archivePrefix={arXiv},
  primaryClass={cs.PL},
  url={https://arxiv.org/abs/2603.20001},
  urltext = {[arXiv]}
}