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