"Gutedel"@cs .