“Natural-Language Policy Reasoning With Proof Generation: Turning Platform Rules into Verifiable Knowledge”. Journal of Technology Informatics and Engineering 4, no. 2 (August 25, 2025): 402–424. Accessed June 12, 2026. https://jtie.stekom.ac.id/index.php/jtie/article/view/505.