"IC 4507"@cs .