"Aniceto Fern\u00E1ndez Alonso"@cs .