What is the abbreviation for Action computation tree logic?

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