"Pluto Nash"@cs .