Пынько, А. П.     Алгебраизуемость секвенциальных исчислений для конечнозначных логик с определителем равенства [Текст] / А.П. Пынько // Доповіді Національної Академії Наук України: Математика. Природознавство. Технічні науки. — К., 2003. — №6. — С. 66-71.