“Natural-Language Policy Reasoning With Proof Generation: Turning Platform Rules into Verifiable Knowledge”. 2025. Journal of Technology Informatics and Engineering 4 (2): 402-24. https://doi.org/10.51903/jtie.v4i2.505.