@Article{Vestergaard-Brotherston:MERLIN01,
  author =       "Ren{\'e} Vestergaard and James Brotherston",
  title =        "The Mechanisation of {B}arendregt-Style Equational Proofs
                  (The Residual Perspective)",
  booktitle =    "Proceedings of {MERLIN-1}",
  journal =       "Electronic Notes in Theoretical Computer Science",
  volume =       "58",
  number =       "1",
  editor =       "Roy Crole and Simon Ambler",
  year =         "2001",
  publisher =    "Elsevier Science",
  note =         "Preliminary proceedings are available as technical report
                  number 2001/26, Department of Maths/CS, University of Leicester",
}