"IC 812"@cs .