  We discuss the program EXP used to automate the successive application of
asymptotic expansions to Feynman diagrams. We focus on the generation of the
relevant subgraphs and the determination of the topologies for the remaining
integrals. Both tasks can be solved by using backtracking-type recursive
algorithms. In addition, an application of EXP is presented, where the
integrals were calculated using the FORM packages MINCER and MATAD.
