@misc{Bender2012,
  author    = {Markus Bender},
  title     = {Extending the E-Hyper Tableau Calculus for Reasoning with the Unique Name Assumption},
  institution = {Fachbereich 4},
  type      = {diplom},
  pages     = {viii, 70 Seiten},
  year        = {2012},
}