TY  - RPRT
TI  - A First-Order Logic with Frames
AU  - Adithya Murali
AU  - Lucas Peña
AU  - Christof Löding
AU  - P. Madhusudan
PY  - 2022
UR  - https://arxiv.org/abs/1901.09089
ID  - 1901.09089
ER  -