first-order syntactical anti-unification

1. REDIRECT Anti-unification#First-order syntactical anti-unification

{{R with possibilities}}

{{R printworthy}}

{{r from subtopic}}

{{r to section}}