Technische Universität Wien
Institute of Logic and Computation
Research Unit Algorithms and Complexity

(Applicant Nöllenburg, Martin )