@InCollection{B1,
  key    =       {B01},
  author =	 {J{\"o}rg Siekmann and Christoph Benzm{\"u}ller and Armin Fiedler and Andreas Meier and Immanuel Normann and
                  Martin Pollet},
  editor =	 {Fairouz Kamareddine},
  booktitle = 	 {Thirty Five Years of Automating Mathematics},
  chapter = 	 {Proof Development in {OMEGA}: The Irrationality of Square Root of 2},
  publisher = 	 {Kluwer Academic Publishers},
  year = 	 2003,
  pages =        {271-314}, 
  series =	 {Kluwer Applied Logic series (28)},
}