Unification of higher-order patterns modulo simple syntactic equational theories. Boudet, Alexandre — 2000 Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]