TY  - JOUR
AU  - Ježek, Jaroslav
TI  - A note on finite sets of terms closed under subterms and unification
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1996
SP  - 655
EP  - 656
VL  - 37
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CMUC_1996__37_3_a23/
LA  - en
ID  - CMUC_1996__37_3_a23
ER  -