TY  - RPRT
TI  - Testing definitional equivalence of theories via automorphism groups
AU  - H. Andréka
AU  - J. Madarász
AU  - I. Németi
AU  - G. Székely
PY  - 2023
DO  - 10.1017/s1755020323000242
UR  - https://arxiv.org/abs/2211.14232
ID  - 2211.14232
ER  -