@inproceedings{dastgheib-asgari-2022-keyword,
    title = "Keyword-based Natural Language Premise Selection for an Automatic Mathematical Statement Proving",
    author = "Dastgheib, Doratossadat  and
      Asgari, Ehsaneddin",
    editor = "Ustalov, Dmitry  and
      Gao, Yanjun  and
      Panchenko, Alexander  and
      Valentino, Marco  and
      Thayaparan, Mokanarangan  and
      Nguyen, Thien Huu  and
      Penn, Gerald  and
      Ramesh, Arti  and
      Jana, Abhik",
    booktitle = "Proceedings of TextGraphs-16: Graph-based Methods for Natural Language Processing",
    month = oct,
    year = "2022",
    address = "Gyeongju, Republic of Korea",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2022.textgraphs-1.14/",
    pages = "124--126"
}