Gas prices: hearing before the Committee on Energy and Natural Resources, United States Senate, One Hundred Thirteenth Congress, first session, to explore how U.S. gasoline and fuel prices are being affected by the current boom in domestic oil production and the restructuring of the U.S. refining industry and distribution system, July 16, 2013.