%0 Journal Article
%A N. T. Kogabaev
%T Complexity of the problem of being equivalent to Horn formulas
%J Algebra i logika
%D 2021
%P 575-586
%V 60
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2021_60_6_a4/
%G ru
%F AL_2021_60_6_a4