Papers (BibTeX)

@article{gabbay:nomu-jv,
 author = {Christian Urban and Andrew M. Pitts and Murdoch J. Gabbay},
  title =	 {\href{http://www.gabbay.org.uk/papers.html\#nomu-jv}{Nominal Unification}},
  journal =	 {Theoretical Computer Science},
  year =	 {2004},
  volume =	 {323},
  number =       {1--3},
  issn = {0304-3975},
  pages =	 {473--497}
 doi = {http://dx.doi.org/10.1016/j.tcs.2004.06.016},
 publisher = {Elsevier},
 address = {Essex, UK},
}