"IC 858"@cs .