TY  - RPRT
TI  - The complete classification for quantified equality constraints
AU  - Dmitriy Zhuk
AU  - Barnaby Martin
AU  - Michal Wrona
PY  - 2026
UR  - https://arxiv.org/abs/2104.00406
ID  - 2104.00406
ER  -