@misc{RISC4535,
author = {W. Windsteiger},
title = {{Theorema 2.0: Current Status of the Implementation}},
language = {english},
year = {2012},
month = {April 18},
note = {Contributed talk at CIAO 2012},
conferencename = {CIAO 2012},
url = {http://www.chalmers.se/cse/EN/organization/divisions/software-technology/ciao-workshop}
}