TY  - RPRT
TI  - The Undecidability of Unification Modulo $σ$ Alone
AU  - Gilles Dowek
PY  - 2023
UR  - https://arxiv.org/abs/2305.06214
ID  - 2305.06214
ER  -