author = {W. Windsteiger},
title = {{Theorema2: Some Design Considerations for the Re-Implementation of the Theorema System}},
language = {english},
year = {2010},
month = {August 5},
note = {Contributed talk at CIAO 2010 Workshop},
conferencename = {CIAO 2010 Workshop},
url = {http://www.risc.jku.at/about/conferences/ciao2010/}