CONSTRUCTIVE GRAPH LABELING USING DOUBLE COSETS