"IC 3254"@cs .