“Natural-Language Policy Reasoning with Proof Generation: Turning Platform Rules into Verifiable Knowledge”, JTIE, vol. 4, no. 2, pp. 402–424, Aug. 2025, doi: 10.51903/jtie.v4i2.505.