@incollection{TEMP:coll/ad/BibelBORS98,
  title = {Compressions and extensions},
  author = {Bibel, W. and Br{\"u}ning, S. and Otten, J. and Rath, T. and Schaub, T.},
  editor = {Bibel, W. and Schmitt, P.H.},
  booktitle = {Automated Deduction --- A Basis for Applications},
  chapter = {5},
  pages = {133--179},
  volume = {1},
  year = {1998}
}