@inproceedings{CurienHerbelin98,
  author      = {Pierre-Louis Curien and Hugo Herbelin},
  title       = {Computing with Abstract {B}\"ohm Trees},
  booktitle   = {Fuji International Symposium on Functional and Logic
                 Programming (FLOPS '98), Kyoto, Japan, April 2-4, 1998},
  publisher   = {World Scientific, Singapore},
  editor      = {Masahiko Sato and Yoshihito Toyama},
  pages       = {20--39},
  year        = {1998},
  isbn        = {981-02-3384-1}
}