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