@misc{indiciae55c100a42189,
  title = {A Certificate-Producing Cascade for Equational Implication: The SAIR EQT2 Stage 2 Solver},
  author = {Haobo Ma and Wenlin Zhang and Manuel Israel Cázares},
  year = {2026},
  url = {https://arxiv.org/abs/2609.00706},
  note = {Source identifier: 2609.00706}
}