Applying mechanised reasoning in economics – Making reasoners applicable for domain experts

Lange, Christoph; Kerber, Manfred; Rowat, Colin (2013): Applying mechanised reasoning in economics – Making reasoners applicable for domain experts. INFORMATIK 2013 – Informatik angepasst an Mensch, Organisation und Umwelt. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-614-5. pp. 153-156. Regular Research Papers. Koblenz. 16.-20. September 2013