Debray, Samya K. Warren, David S. Towards BanishingCut from Prolog - 335-349 p. Subjects--Topical Terms: OptimizationProgram Trans FormationsProlog