@article{BaaderBeckertNipkow2010,
author = {Franz Baader and Bernhard Beckert and Tobias Nipkow},
title = {{D}eduktion: {V}on der {T}heorie zur {A}nwendung},
journal = {Informatik-Spektrum},
publisher = {Springer Berlin / Heidelberg},
issn = {0170-6012},
keyword = {Computer Science},
pages = {444--451},
volume = {33},
issue = {5},
url = {http://dx.doi.org/10.1007/s00287-010-0461-3},
year = {2010},
month = aug
}