## Sam Staton

*An Algebraic Presentation of Predicate Logic —*

FoSSaCS, 2013.

@inproceedings{FoSSaCS-2013-Staton, author = "Sam Staton", booktitle = "{Proceedings of the 16th International Conference on Foundations of Software Science and Computation Structures}", doi = "10.1007/978-3-642-37075-5_26", isbn = "978-3-642-37074-8", pages = "401--417", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{An Algebraic Presentation of Predicate Logic —}", volume = 7794, year = 2013, }