"IC 5259"@cs .