Evaluation of different cutting tool materials for the interrupted machining of compacted graphite cast iron