@article{BibelBrueningOttenetal.1998,
  author    = {Wolfgang Bibel and Stefan Br{\"u}ning and Jens Otten and Thomas Rath and Torsten H. Schaub},
  title     = {Compressions and extensions},
  year      = {1998},
}