The antigen retrieval method really depends on the particular stain/antibody. For example, for phosphorylated α-synuclein, we use proteinase K pre-treatment. For β-amyloid, we use formic acid pre-treatment. For many stains, we use heat-induced epitope retrieval (HIER) using various buffers.