@Article{PittsAM:nomu-jv,
  author =	 {C. Urban and A. M. Pitts and M. J. Gabbay},
  title =	 {Nominal Unification},
  journal =	 {Theoretical Computer Science},
  year =	 2004,
  volume =	 323,
  pages =	 {473--497}
}