"IC 512"@cs .