@misc{DJDHughes:FOPWS,
  author    =  {Dominic J.D. Hughes},
  title     =  {First-order proofs without syntax},
  year      =  {2019},
  month     =  {June},
  Eprint    =  {arXiv:1906.11236},
}