Graz University of Technology, Institute for Theoretical Computer Science, Graz, Austria.|Graz University of Technology, Institute for Theoretical Computer Science, Graz, Austria.|Graz University of Technology, Institute for Theoretical Computer Science, Graz, Austria.