"Reka"@cs .