%0 Journal Article
%A E. V. Kostylev
%A V. A. Zakharov
%T On complexity of the anti-unification problem
%J Diskretnaya Matematika
%D 2008
%P 131-144
%V 20
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DM_2008_20_1_a11/
%G ru
%F DM_2008_20_1_a11