Many-body symmetry-adapted perturbation theory of intermolecular interactions. H2O and HF dimers | Synapse