"IC 872"@cs .