Subgroup separability in residually free groups

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