TY  - RPRT
TI  - Automating proof search when equality is a logical connective
AU  - Kaustuv Chaudhuri
AU  - Arunava Gantait
AU  - Dale Miller
PY  - 2026
UR  - https://arxiv.org/abs/2605.20054
ID  - 2605.20054
ER  -