TY  - RPRT
TI  - Tiling problems and complexity of logics (extended version)
AU  - M. Rybakov
AU  - D. Serova
PY  - 2023
UR  - https://arxiv.org/abs/2306.13736
ID  - 2306.13736
ER  -