Franz Baader
-
E-generalization using grammars
Artificial Intelligence
Anti-unification for Unranked Terms and Hedges
Journal of Automated Reasoning