@article{BeckertHaehnleIntSyst2014,
title = {Reasoning and Verification: State of the Art and Current Trends},
author = {Bernhard Beckert and Reiner H\"ahnle},
journal = {Intelligent Systems, IEEE},
volume = {29},
number = {1},
pages = {20--29},
doi = {10.1109/MIS.2014.3},
issn = {1541-1672},
month = feb,
year = {2014}
}