TY  - RPRT
TI  - Graph Representations for Higher-Order Logic and Theorem Proving
AU  - Aditya Paliwal
AU  - Sarah Loos
AU  - Markus Rabe
AU  - Kshitij Bansal
AU  - Christian Szegedy
PY  - 2019
UR  - https://arxiv.org/abs/1905.10006
ID  - 1905.10006
ER  -