%0 Journal Article
%A Boudet, Alexandre
%T Unification of Higher-order Patterns modulo Simple Syntactic Equational Theories
%J Discrete mathematics & theoretical computer science
%D 2000-2001
%V 4
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.270/
%R 10.46298/dmtcs.270
%G en
%F DMTCS_2000_4_1_a0