Richardson, K., and A. Sabharwal. “Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 10, June 2022, pp. 11209-1, doi:10.1609/aaai.v36i10.21371.