APA-Zitierstil (7. Ausg.)

Putra, R. R., Basuki, R. S. P., Cheng, Y., & Gao, P. (2026). NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models.

Chicago-Zitierstil (17. Ausg.)

Putra, Rizky Ramadhana, Raihan Sultan Pasha Basuki, Yutong Cheng, und Peng Gao. NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models. 2026.

MLA-Zitierstil (9. Ausg.)

Putra, Rizky Ramadhana, et al. NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models. 2026.