"IC 831"@cs .