Novikov, S. Metoda Minimalizacji systemów K-Znacznych częściowych Funkcji Logicznych. SI 2004, 4, 157-164.