TY  - RPRT
TI  - Model-checking positive equality free logic on a fixed structure (direttissima)
AU  - Manuel Bodirsky
AU  - Marcin Kozik
AU  - Florent Madelaine
AU  - Barnaby Martin
AU  - Michal Wrona
PY  - 2024
UR  - https://arxiv.org/abs/2408.13840
ID  - 2408.13840
ER  -