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