@InCollection{PittsAM:nomel,
  author =	 {R. A. Clouston and A. M. Pitts},
  title =	 {Nominal Equational Logic},
  booktitle =	 {Computation, Meaning and Logic, Articles dedicated
                  to Gordon Plotkin },
  pages =	 {223--257},
  publisher =	 {Elsevier},
  year =	 2007,
  editor =	 {L. Cardelli and M. Fiore and G. Winskel},
  volume =	 172,
  series =	 {Electronic Notes in Theoretical Computer Science}
}