"31 UMa"@cs .