%0 Journal Article
%A G. E. Puninskii
%T Multitrees. Model completeness and decidability
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 1988
%P 84-86
%N 1
%U http://geodesic.mathdoc.fr/item/VMUMM_1988_1_a23/
%G ru
%F VMUMM_1988_1_a23