"Nathanael Nerode"@cs .