ADDCT: Automated Deduction: Decidability, Complexity, Tractability

What does ADDCT mean? The above is one of ADDCT meanings. It may have other definitions. Please refer to the end of this passage.

Definition in English: Automated Deduction: Decidability, Complexity, Tractability