%0 Journal Article
%A S. L. Kuznetsov
%T Algorithmic complexity for theories of commutative Kleene algebras
%J Izvestiya. Mathematics 
%D 2024
%P 236-269
%V 88
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IM2_2024_88_2_a3/
%G en
%F IM2_2024_88_2_a3