The process of Induction (PI) model (Holyoak & Thagard, 1989) is the only implemented computational model, other than my own, of the fortress/tumor problem that actually transfers the solution steps.
PI uses spreading activation to retrieve a source analog. The similarities between the analogs that result in the retrieval are used start the mapping. Like ACME, further mapping occurs through constraint-satisfaction.