@MastersThesis{Theiss05diplom, author = "F.~Thei\ss", title = "{O}n the {W}hite {B}ox {I}ntegration of {C}omputer {A}lgebra {A}lgorithms into a {D}eduction {S}ystem", school = "Universit{\"a}t des Saarlandes", year = 2005, month = "November" }