"Stephens"@cs .