TY  - RPRT
TI  - The complexity of the first-order theory of pure equality
AU  - Ivan V. Latkin
PY  - 2021
DO  - 10.32523/2077-9879-2022-13-1-44-68
UR  - https://arxiv.org/abs/1907.04521
ID  - 1907.04521
ER  -