Anti-Unification Algorithm Based on Multi-Pattern
多模式下的反合一算法

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.