Luzin SY, Polubasov OB. Non-iterative method for determining output polarity in the minimization of multi-output automata. TKEA [Internet]. 2003Oct.31 [cited 2026May22];(5):13-5. Available from: https://www.tkea.com.ua/index.php/journal/article/view/TKEA2003.5.13