@article{SteenWisniewskiBenzmueller2016,
  author    = {Alexander Steen and Max Wisniewski and Christoph Benzm{\"u}ller},
  title     = {Einsatz von Theorembeweisern in der Lehre},
  journal   = {Commentarii informaticae didacticae (CID)},
  number    = {10},
  pages     = {81 -- 92},
  year      = {2016},
}