@misc{indiciae2d4a949464f6,
  title = {Dynamic Automated Deduction by Contradiction Separation: The Standard Extension Algorithm},
  author = {Yang Xu and Xingxing He and Shuwei Chen and Jun Liu and Xiaomei Zhong},
  year = {2025},
  url = {https://arxiv.org/abs/2510.08468},
  note = {Source identifier: 2510.08468}
}