CHOOSING BETWEEN DIFFERENT EDM MACHINES. revtn 2017, 21 (2).