Automatic Reasoning for Defining Lathe Operations for Mill-Turn Parts