A study on milling of super elasto-plastic titanium alloy with a small ball end mill tool: －Effect of cutting environment on cutting properties－