Papers (BibTeX)

@article{gabbay:nomr-jv,
 author = {Maribel Fern\'andez and Murdoch J. Gabbay},
  title={\href{http://www.gabbay.org.uk/papers.html#nomr-jv}{Nominal rewriting (journal version)}},
  pages={917-965},
  volume={205},
  number={6},
  year={2007},   
  journal={Information and Computation},
  doi = {http://dx.doi.org/10.1016/j.ic.2006.12.002},
}