“Natural-Language Policy Reasoning with Proof Generation: Turning Platform Rules into Verifiable Knowledge” (2025) Journal of Technology Informatics and Engineering, 4(2), pp. 402–424. doi:10.51903/jtie.v4i2.505.