TY  - RPRT
TI  - Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction
AU  - Yang Xu
AU  - Shuwei Chen
AU  - Jun Liu
AU  - Feng Cao
AU  - Xingxing He
PY  - 2025
UR  - https://arxiv.org/abs/2510.10701
ID  - 2510.10701
ER  -