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