M. Crouse, “A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving”, AAAI, vol. 35, no. 7, pp. 6279-6287, May 2021.