@Article{Vestergaard-Wells:MSCS01,
  author =       "Ren{\'e} Vestergaard and Joe Wells",
  title =        "Cut Rules and Explicit Substitutions",
  journal =      "Mathematical Structures in Computer Science",
  volume =       "11",
  number =       "1",
  pages =        "131--168",
  year =         "2001",
  note =         "Special issue on explicit substitutions, with selected papers from
                  WESTAPP'99; a short version is {\cite{Vestergaard-Wells:WESTAPP99}}",
}