TY - JOUR AU - Holub, Štěpán AU - Kortelainen, Juha TI - Linear size test sets for certain commutative languages JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2001 SP - 453 EP - 475 VL - 35 IS - 5 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_2001__35_5_453_0/ LA - en ID - ITA_2001__35_5_453_0 ER -