"IC 813"@cs .