TY  - JOUR
AU  - Boudet, Alexandre
TI  - Unification of Higher-order Patterns modulo Simple Syntactic Equational Theories
JO  - Discrete mathematics & theoretical computer science
PY  - 2000-2001
VL  - 4
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.270/
DO  - 10.46298/dmtcs.270
LA  - en
ID  - DMTCS_2000_4_1_a0
ER  -