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