Crouse, M.; Abdelaziz, I.; Makni, B.; Whitehead, S.; Cornelio, C.; Kapanipathi, P.; Srinivas, K.; Thost, V.; Witbrock, M.; Fokoue, A. A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving. AAAI 2021, 35, 6279-6287.