author = {Elena Tomuta},}
title = {{An Architecture for Combining Provers and its Applications in the Theorema System.}},
language = {english},
year = {1998},
translation = {0},
school = {RISC, Johannes Kepler University of Linz},
length = {112},
type = {phdthesis}