second-order unification and context unification with tree-regular constraints (0)

by J Levy, M Villaret
Venue:in `Proceedings of the 11th Int. Conf. on Rewriting Techniques and Applications (RTA'00