"Spring Trophy"@cs .