The Witness Set Constraint - Retracted Article | RetractBase