"40 UMa"@cs .