Approximating Deterministic Lattice Automata. - Shulamit Halamish; Orna Kupferman (ATVA, 2012)

Minimizing Deterministic Lattice Automata. - Shulamit Halamish; Orna Kupferman (ACM Trans. Comput. Log., 2015)