TY  - RPRT
TI  - EUF$^n$: A Decidable Extension to the Theory of Equality with Uninterpreted Functions
AU  - Yide Du
AU  - Zhenbang Chen
AU  - Weijiang Hong
AU  - Wei Dong
PY  - 2026
UR  - https://arxiv.org/abs/2608.21478
ID  - 2608.21478
ER  -