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