"IC 845"@cs .