@misc{indiciae515753127175,
  title = {Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction},
  author = {Yang Xu and Shuwei Chen and Jun Liu and Feng Cao and Xingxing He},
  year = {2025},
  url = {https://arxiv.org/abs/2510.10701},
  note = {Source identifier: 2510.10701}
}