"IC 5012"@cs .