The influence of potassium on the reactivity and strength of coke, with special reference to the role of coke ash