@misc{indiciae9eab6e872f6c,
  title = {The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic},
  author = {Bernardo Cuenca Grau and Eva Feng and Przemysław Andrzej Wałęga},
  year = {2026},
  url = {https://arxiv.org/abs/2505.08021},
  note = {Source identifier: 2505.08021}
}