"Tokorcs"@cs .