@mastersthesis{RISC4100,
author = {Zsuzsanna Sinka},
title = {{Interactive Tools for Inspecting Proofs in Theorema}},
language = {english},
year = {2009},
month = {July},
translation = {0},
school = {International Studies in Informatics: Engineering & Management (ISI Hagenberg)},
length = {55},
type = {Master's Thesis}
}