"Davidem Pearcem"@cs . "David Pearce"@cs .