author = {Dietmar Kerbl},
title = {{An automated induction prover for finite sets implemented in the Theorema system}},
language = {english},
year = {2010},
month = {October},
translation = {0},
school = {RISC, Johannes Kepler University Linz},
length = {79},
type = {Diploma Thesis}