Chen, J.; Bao, Q.; Sun, C.; Zhang, X.; Chen, J.; Zhou, H.; Xiao, Y.; Li, L. LOREN: Logic-Regularized Reasoning for Interpretable Fact Verification. AAAI 2022, 36, 10482-10491.