Chen, Hanxiu. 2023. “A Sequence Labeling Method for First-Order Logic Representation”. Journal of Education, Humanities and Social Sciences 8 (February): 448-53. https://doi.org/10.54097/ehss.v8i.4287.