"Krath"@cs .