Minimizing deterministic lattice automata (2011)

by S Halamish, O Kupferman
Venue:In Proc. 14th Int. Conf. on Foundations of Software Science and Computation Structures