CHECKING REDUNDANCIES IN SUPERVISORY CONTROL. A COMPLEXITY RESULT. | Publicación