"IC 1717"@cs .