@article{gabbay:nomuae,
author = "Murdoch J. Gabbay and Aad Mathijssen",
title = "Nominal (universal) algebra: equational logic with names and binding",
year = "2009",
PDF = {http://www.gabbay.org.uk/papers/nomuae.pdf},
journal={Journal of Logic and Computation},
note={In press},
}