"C\u00E9sar Navas"@cs .