The modeling and prediction of Great Salt Lake elevation time series based on ARFIMA