Variational Calculations of Vibrational Energies and IR Spectra of trans- and cis-HOCO Using New ab Initio Potential Energy and Dipole Moment Surfaces