%0 Journal Article
%A Ježek, Jaroslav
%T A note on finite sets of terms closed under subterms and unification
%J Commentationes Mathematicae Universitatis Carolinae
%D 1996
%P 655-656
%V 37
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_1996__37_3_a23/
%G en
%F CMUC_1996__37_3_a23