TY  - RPRT
TI  - A Certificate-Producing Cascade for Equational Implication: The SAIR EQT2 Stage 2 Solver
AU  - Haobo Ma
AU  - Wenlin Zhang
AU  - Manuel Israel Cázares
PY  - 2026
UR  - https://arxiv.org/abs/2609.00706
ID  - 2609.00706
ER  -