Chen, J., Q. Bao, C. Sun, X. Zhang, J. Chen, H. Zhou, Y. Xiao, and L. Li. “LOREN: Logic-Regularized Reasoning for Interpretable Fact Verification”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 10, June 2022, pp. 10482-91, doi:10.1609/aaai.v36i10.21291.