@misc{RISC2279,
author = {W. Windsteiger},
title = {{The Theorema System}},
language = {english},
year = {2002},
month = {September 27},
note = {Contributed talk at Calculemus Autumn School, Pisa, Italy},
conferencename = {Calculemus Autumn School, Pisa, Italy}
}