@inproceedings {1332,
	title = {Checking Redundancies in Supervisory Control. A Complexity Result},
	booktitle = {15th Triennial World Congress of the International Federation of Automatic Control (IFAC)},
	year = {2002},
	month = {07/2002},
	publisher = {IFAC},
	organization = {IFAC},
	address = {Barcelona, Spain},
	author = {F. Garc{\'\i}a-Vall{\'e}s and J.M. Colom}
}

