Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts.

Christoph Lange, Manfred Kerber, Colin Rowat

Browse the full GI paper archive.