@incollection{siekmann2003proof,
  title={Proof Development with $\Omega$mega: The Irrationality of$\backslash$sqrt 2},
  author={Siekmann, J{\"o}rg and Benzm{\"u}ller, Christoph and Fiedler, Armin and Meier, Andreas and Normann, Immanuel and Pollet, Martin},
  booktitle={Thirty five years of automating mathematics},
  pages={271--314},
  year={2003},
  publisher={Springer}
}