"Rand Spring Trophy"@cs .