The Complexity of Collapsing Reachability Graphs.

Published in: Automatic Verification Methods for Finite State Systems (1989)