%0 Journal Article
%A A. V. Seliverstov
%T The length of an unsatisfiable subformula
%J Algebra i logika
%D 2024
%P 89-99
%V 63
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2024_63_1_a6/
%G ru
%F AL_2024_63_1_a6