author = {Manfred Kerber and Wolfgang Windsteiger},
title = {{Using Theorema in the Formalization of Theoretical Economics}},
language = {english},
year = {2011},
month = {July 22},
note = {Contributed talk at CICM 2011},
conferencename = {CICM 2011}