TY  - RPRT
TI  - Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations
AU  - Lucas Bueri
AU  - Radu Iosif
AU  - Florian Zuleger
PY  - 2024
UR  - https://arxiv.org/abs/2402.16150
ID  - 2402.16150
ER  -