@article{tp3255,
  title = {Integrating a simplified formula graph representation into a graph neural network model for premise selection},
  author = {Xingxing He and Zhongxu Zhao and Yongqi Lan and Yingfang Li and Li Zou and Jun Liu and Luis Martinez and Tianrui Li},
  year = {2025},
  journal = {APPLIED SOFT COMPUTING},
  volume = {180},
  doi = {10.1016/j.asoc.2025.113318},
  isbn = {1568-4946},
  keywords = {article},
}