What is the abbreviation for Computation tree logic?

Looking for the shorthand of Computation tree logic or how to abbreviate it? We have 2 shorthands for Computation tree logic.