@TechReport{R15,
  key    =       {R15},
  author = 	 {Christoph Benzm{\"u}ller and  Armin Fiedler and Andreas Meier and Martin Pollet},
  title = 	 {Irrationality of square root of 2 -- A case study in OMEGA},
  institution =  {Department of Computer Science, Saarland University},
  year = 	 2002,
  pages =        {1--103},
  type =	 {SEKI Report (ISSN 1437-4447)},
  number =	 {SR-02-03},
  chrisnote =	 {R15},
  url =		 {www.ags.uni-sb.de/~chris/papers/R15.pdf}
}