The following publications are possibly variants of this publication:
- A State Space Decomposition Algorithm for Approximate FSM TraversalHyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi. eurodac 1994: 137-141
- Algorithms for approximate FSM traversal based on state space decompositionHyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi. tcad, 15(12):1465-1478, 1996. [doi]
- Algorithms for Approximate FSM TraversalHyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi. dac 1993: 25-30 [doi]
- Lazy group sifting for efficient symbolic state traversal of FSMsHiroyuki Higuchi, Fabio Somenzi. iccad 1999: 45-49 [doi]