author = {W. Windsteiger},
title = {{Using Theorema in the Formalization of Theoretical Economics}},
language = {english},
year = {2011},
month = {April 5},
note = {Contributed talk at CIAO 2011},
conferencename = {CIAO 2011}