Arthur L. Delcher;Simon Kasif
-;-
Anti-unification for Unranked Terms and Hedges
Journal of Automated Reasoning