Evocação de pensamentos automáticos, testagem de pensamentos automáticos, identificação de pressupostos mal adaptativos, testagem da validade de pressupostos mal adaptativos, são técnicas de