"D Rice"@cs . "David Rice"@cs .