CHEN, Hanxiu. A Sequence Labeling Method for First-order Logic Representation. Journal of Education, Humanities and Social Sciences, [S. l.], v. 8, p. 448–453, 2023. DOI: 10.54097/ehss.v8i.4287. Disponível em: https://drpress.org/ojs/index.php/EHSS/article/view/4287. Acesso em: 4 sep. 2026.