Chen, H. (2023). A Sequence Labeling Method for First-order Logic Representation. Journal of Education, Humanities and Social Sciences, 8, 448-453. https://doi.org/10.54097/ehss.v8i.4287