@mastersthesis{Frank2014,
  author      = {Mario Frank},
  title       = {TEMPLAR : efficient determination of relevant axioms in big formula sets for theorem proving},
  type        = {masterthesis},
  school      = {Universit{\"a}t Potsdam},
  year        = {2014},
}