@misc{indiciaeb0d52c0ee71d,
  title = {Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling},
  author = {Maxwell Crouse and Ibrahim Abdelaziz and Cristina Cornelio and Veronika Thost and Lingfei Wu and Kenneth Forbus and Achille Fokoue},
  year = {2020},
  url = {https://arxiv.org/abs/1911.06904},
  note = {Source identifier: 1911.06904}
}