[1]
A. Paliwal, S. Loos, M. Rabe, K. Bansal, and C. Szegedy, “Graph Representations for Higher-Order Logic and Theorem Proving”, AAAI, vol. 34, no. 03, pp. 2967-2974, Apr. 2020.