@book(Burris:Logic,
 author       = "S. N. Burris",
 year         = "1998",
 title        = "Logic for Mathematics and Computer Science",
 publisher    = "Prentice Hall",
)
@phdthesis(Clouston:Equational,
 author       = "R. Clouston",
 year         = "2009",
 title        = "Equational Logic for Names and Binders",
 school       = "University of Cambridge",
 note         = "\burl {http://cecs.anu.edu.au/ rclouston/Clouston_Thesis.pdf}.",
)
@inproceedings(Clouston:Binding,
 author       = "R. Clouston",
 year         = "2010",
 title        = "Binding in Nominal Equational Logic",
 booktitle    = "MFPS",
 series       = "ENTCS",
 volume       = "265",
 pages        = "259--276",
 doi          = "10.1016/j.entcs.2010.08.016",
)
@inproceedings(Clouston:Lawvere,
 author       = "R. Clouston",
 year         = "2011",
 title        = "Nominal {L}awvere Theories",
 booktitle    = "WoLLIC",
 series       = "LNCS",
 volume       = "6642",
 pages        = "67--83",
 doi          = "10.1007/978-3-642-20920-8\_11",
)
@article(Clouston:Nominal,
 author       = "R. Clouston and A. M. Pitts",
 year         = "2007",
 title        = "Nominal Equational Logic",
 journal      = "ENTCS",
 volume       = "172",
 pages        = "223--257",
 doi          = "10.1016/j.entcs.2010.08.016",
)
@inproceedings(Fiore:Term,
 author       = "M. Fiore and C-K. Hur",
 year         = "2008",
 title        = "Term Equational Systems and Logics",
 booktitle    = "MFPS",
 series       = "ENTCS",
 volume       = "218",
 pages        = "171--192",
 doi          = "10.1016/j.entcs.2008.10.011",
)
@inproceedings(Gabbay:One,
 author       = "M. J. Gabbay and A. Mathijssen",
 year         = "2006",
 title        = "One-and-a-halfth-order Logic",
 booktitle    = "PPDP",
 publisher    = "ACM",
 pages        = "189--200",
 doi          = "10.1145/1140335.1140359",
)
@article(Gabbay:Nominal,
 author       = "M. J. Gabbay and A. Mathijssen",
 year         = "2009",
 title        = "Nominal (Universal) Algebra: Equational Logic with Names and Binding",
 journal      = "J. Logic Comput.",
 volume       = "19",
 number       = "6",
 pages        = "1455--1508",
 doi          = "10.1007/s001650200016",
)
@article(Gabbay:New,
 author       = "M. J. Gabbay and A. M. Pitts",
 year         = "2002",
 title        = "A New Approach to Abstract Syntax with Variable Binding",
 journal      = "FAC",
 volume       = "13",
 pages        = "341--363",
 doi          = "10.1016/j.entcs.2008.10.011",
)
@phdthesis(Lawvere:Functorial,
 author       = "F. W. Lawvere",
 year         = "1963",
 title        = "Functorial Semantics of Algebraic Theories",
 school       = "Columbia University",
)
@article(Pitts:Nominal,
 author       = "A. M. Pitts",
 year         = "2001",
 title        = "Nominal Logic: a First Order Theory of Names and Binding",
 journal      = "LNCS",
 volume       = "2215",
 pages        = "219--242",
 doi          = "10.1007/3-540-45500-0_11",
)
@article(Pitts:Alpha,
 author       = "A. M. Pitts",
 year         = "2006",
 title        = "Alpha-structural Recursion and Induction",
 journal      = "J. ACM",
 volume       = "53",
 pages        = "459--506",
 doi          = "10.1145/1147954.1147961",
)
@article(Urban:Nominal,
 author       = "C. Urban and A. M. Pitts and M. J. Gabbay",
 year         = "2004",
 title        = "Nominal Unification",
 journal      = "TCS",
 volume       = "323",
 number       = "1-3",
 pages        = "473--497",
 doi          = "10.1007/s10817-009-9164-3",
)