Computational studies of base protonation by carbonic acid in an aqueous solution Conference Paper uri icon