"Moore"@cs .