Online minimization of transition systems (1992)

by D Lee, M Yannakakis
Venue:in Symposium on the Theory of Computing (ACM