TOUGH2-PETSc: A Parallel Solver for TOUGH2 | IEEE Conference Publication | IEEE Xplore