Formalized reasoning method for assembly sequences based on Polychromatic Sets theory