@InProceedings{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,
  pages     = "18--36",
  editor    = "Roy Crole and Simon Ambler",
  publisher = "Elsevier Science",
  year      =   2001
}