@misc{indiciaee27cc1defa5f,
  title = {Contributions to the compositional semantics of first-order predicate logic},
  author = {Philip Kelly and M. H. van Emden},
  year = {2015},
  url = {https://arxiv.org/abs/1512.06282},
  note = {Source identifier: 1512.06282}
}