Ab Initio Study of Proton Transfers Including Effects of Electron Correlation