Functional implementation of anti-unification algorithm for multiple terms - View it on GitHub