TY  - RPRT
TI  - The Unification Type of an Equational Theory May Depend on the Instantiation Preorder: From Results for Single Theories to Results for Classes of Theories
AU  - Franz Baader
AU  - Oliver Fernández Gil
PY  - 2026
UR  - https://arxiv.org/abs/2601.08710
ID  - 2601.08710
ER  -