@article{AhrendtBeckertEtAl2010,
  author    = {Wolfgang Ahrendt and Bernhard Beckert and Martin Giese and
               Philipp R\"ummer},
  title     = {Practical Aspects of Automated Deduction for Program Verification},
  journal   = {KI},
  volume    = {24},
  number    = {1},
  pages     = {43--49},
  year      = {2010}
}