Using a 3D Stochastic GeoModel to Determine Optimal Infill Potential of a Mature Gas Field: A Case History