"Reutter"@cs .