Luzin, S. Y., & Polubasov, O. B. (2003). Non-iterative method for determining output polarity in the minimization of multi-output automata. Technology and Design in Electronic Equipment, (5), 13-15. Retrieved from https://www.tkea.com.ua/index.php/journal/article/view/TKEA2003.5.13