"Gunther Preus"@cs .