"IC 3258"@cs .