"Manuel And"@cs .