"Philem Taylorem"@cs .