@misc{indiciaed06a1113e423,
  title = {Identifying Boundary Conditions with the Syntax and Semantic Information of Goals},
  author = {Yechuan Xia and Jianwen Li and Shengping Xiao and Weikai Miao and Geguang Pu},
  year = {2022},
  url = {https://arxiv.org/abs/2203.12903},
  note = {Source identifier: 2203.12903}
}