"IC 4259"@cs .