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