TY  - RPRT
TI  - Semi-equational theories
AU  - Artem Chernikov
AU  - Alex Mennen
PY  - 2023
UR  - https://arxiv.org/abs/2204.13790
ID  - 2204.13790
ER  -