@BOOK{deduktionsbuch,
   EDITOR             = {Wolfgang~Bibel and Peter~H.~Schmitt},
   PUBLISHER          = {Kluwer Academic Publishers},
   TITLE              = {Automated Deduction - A Basis for
	  Applications. Vol.~I. Foundations - Calculi and
	  Methods. Vol~II. Systems and Implementation
	  Techniques. Vol.~III. Applications},
   YEAR               = {1998},
   SERIES             = {Applied Logic Series},
   VOLUME            = {8, 9, 10}
}