TY - JOUR AU - Vojtáš, Peter TI - Declarative and procedural semantics of fuzzy similarity based unification JO - Kybernetika PY - 2000 SP - [707] VL - 36 IS - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/KYB_2000__36_6_a6/ LA - en ID - KYB_2000__36_6_a6 ER -