%0 Journal Article %A N. T. Kogabaev %T Complexity of the problem of being equivalent to Horn formulas.~II %J Algebra i logika %D 2022 %P 469-482 %V 61 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/AL_2022_61_4_a5/ %G ru %F AL_2022_61_4_a5