@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} }