"Manticore"@cs .