GULF OIL CORPORATION v. LONE STAR PRODUCING CO.

No. 20005.