@article{helfer2010, author = {Helfer, Martin}, editor = {KIT}, interhash = {192e4640e60a30a0289afa2abdceccb5}, intrahash = {3c05a31e864ea273c4f387177708f4fc}, title = {DS}, year = 2010 }