"Coimbra"@cs .