@inproceedings{mci/Lange2013,
author = {Lange, Christoph AND Kerber, Manfred AND Rowat, Colin},
title = {Applying mechanised reasoning in economics – Making reasoners applicable for domain experts},
booktitle = {INFORMATIK 2013 – Informatik angepasst an Mensch, Organisation und Umwelt},
year = {2013},
editor = {Horbach, Matthias} ,
pages = { 153-156 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}