Comparisons of extinction, counterconditioning, and novelty-facilitated extinction within ABA vs. ABC renewal designs. | Synapse