@inproceedings{DBLP:conf/fossacs/Staton13,
  title = "An Algebraic Presentation of Predicate Logic - (Extended Abstract)",
  author = "Sam Staton",
  year = "2013",
  booktitle = "Foundations of Software Science and Computation Structures - 16th International Conference, {FOSSACS} 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings",
  editor = "Frank Pfenning",
  pages = "401--417",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "https://doi.org/10.1007/978-3-642-37075-5\_26",
  volume = "7794",
  doi = "10.1007/978-3-642-37075-5\_26",
}