"Kenneth Mars"@cs .