@InProceedings{Vestergaard-Wells:WESTAPP99,
  author =       {Ren\'e Vestergaard and Joe Wells},
  title =        {Cut Rules and Explicit Substitutions},
  booktitle =    {Proceedings of WESTAPP-2},
  year =         1999,
  note =         "A long version is {\cite{Vestergaard-Wells:MSCS01}}",
}