@INBOOK{HagenbergResearchAR,
  AUTHOR =       {Tudor Jebelean and Bruno Buchberger and Temur Kutsia and Nikolaj Popov and Wolfgang Schreiner and Wolfgang Windsteiger},
  editor =       {Bruno Buchberger at al.},
  TITLE =        {Hagenberg Research},
  CHAPTER =      {II, Automated Reasoning},
  pages =        {63--101},
  PUBLISHER =    {Springer},
  YEAR =         {2009},
}