Todd Wareham The Parameterized Complexity of Intersection and Composition Operations on Sets of Finite-State Automata. 302-310 2000 conf/wia/2000 CIAA http://dx.doi.org/10.1007/3-540-44674-5_26 db/conf/wia/ciaa2000.html#Wareham00