An electrochemical study of aluminum deposition from molten NaF-AlF3-Al2O3 on a tungsten electrode