"V\u00EDt Lederer"@cs .