@Article{AhrendtAtAlKI09,
  author  = {Wolfgang Ahrendt and Bernhard Beckert and Martin Giese and 
                  Philipp R\"ummer},
  title   = {Practical Aspects of Automated Deduction for Program Verification},       
  journal = {KI - K\"unstliche Intelligenz},
  volume  = {24},
  number  = {1},
  pages = {43-49},
  year    = {2010},
  publisher = {Springer Verlag}
}