Anti-Unification Algorithm Based on Multi-Pattern
Xugang Xi · 2000
In this paper, the existence of the least anti unification in multi pattern is proved and an algorithm for the anti unification is proposed. In addition, the application of the anti unification in multi pattern is also introduced.