"Catala"@cs .