"V\u00EDt Rotter"@cs .