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