"IC 5158"@cs .