  We prove that the finitely presentable subgroups of residually free groups
are separable and that the subgroups of type $\mathrm{FP}_\infty$ are virtual
retracts. We describe a uniform solution to the membership problem for finitely
presentable subgroups of residually free groups.
