Analytical model for the design of in situ horizontal permeable reactive barriers (HPRBs) for the mitigation of chlorinated solvent vapors in the unsaturated zone