@article{Herbelin01,
  author      = {Hugo Herbelin},
  title       = {Explicit Substitutions and Reducibility},
  journal     = {Journal of Logic and Computation},
  pages       = {431--451},
  publisher   = {ACM}, 
  volume      = {11},
  number      = {3},
  year        = {2001}
}