Natural-Language Policy Reasoning with Proof Generation: Turning Platform Rules into Verifiable Knowledge. Journal of Technology Informatics and Engineering, [S. l.], v. 4, n. 2, p. 402–424, 2025. DOI: 10.51903/jtie.v4i2.505. Disponível em: https://jtie.stekom.ac.id/index.php/jtie/article/view/505. Acesso em: 12 jun. 2026.