TY  - RPRT
TI  - The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations
AU  - Marius Bozga
AU  - Lucas Bueri
AU  - Radu Iosif
AU  - Florian Zuleger
PY  - 2024
UR  - https://arxiv.org/abs/2310.09542
ID  - 2310.09542
ER  -