Paliwal, A.; Loos, S.; Rabe, M.; Bansal, K.; Szegedy, C. Graph Representations for Higher-Order Logic and Theorem Proving. AAAI 2020, 34, 2967-2974.