J. Chen, “LOREN: Logic-Regularized Reasoning for Interpretable Fact Verification”, AAAI, vol. 36, no. 10, pp. 10482-10491, Jun. 2022.