Thermodynamic Modeling of the NH3–CO2–H2O System with Electrolyte NRTL Model | Synapse