"Al\u00ED ibn J\u00FAsuf"@cs .