What is the abbreviation for Automated theorem prover?

Looking for the shorthand of Automated theorem prover or how to abbreviate it? We have 3 shorthands for Automated theorem prover.