@misc{PelzerWernhard2007, author = {Bj{\"o}rn Pelzer and Christoph Wernhard}, title = {System Description: E-KRHyper}, institution = {Institut f{\"u}r Informatik}, series = {Arbeitsberichte, FB Informatik}, number = {2007,13}, type = {periodicalpart}, pages = {6}, year = {2007}, }