"Rand Autumn Trophy"@cs .