"IC 842"@cs .