@inproceedings{HK11, author = "S. Halamish and O. Kupferman", title = "Minimizing Deterministic Lattice Automata", booktitle = fossacs11, pages = "199 -- 213", series = lncs, volume = 6604, publisher = springer, year = "2011" } @article{HK15, author = "S. Halamish and O. Kupferman", title = "Minimizing Deterministic Lattice Automata", journal = tocl, volume = 16, number = 1, year = 2015, pages = "1-21" }