K. Richardson and A. Sabharwal, “Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability”, AAAI, vol. 36, no. 10, pp. 11209-11219, Jun. 2022.