Variational Single Nighttime Image Haze Removal With a Gray Haze-Line Prior | IEEE Journals & Magazine | IEEE Xplore