"G\u00FCnther Leib"@cs .