@article{tp3911,
  title = {ATWGNNS: Graph simplified representation and learning of logical formula for premise selection},
  author = {Xingxing He and Zhongxu Zhao and Yongqi Lan and Yingfang Li and Li Zou and Luis Martínez and Tianrui Li},
  year = {2026},
  journal = {Artificial Intelligence},
  volume = {357},
  pages = {104562},
  doi = {https://doi.org/10.1016/j.artint.2026.104562},
  url = {https://www.sciencedirect.com/science/article/pii/S0004370226000883},
  isbn = {0004-3702},
  keywords = {article},
}