syntactically unifying

1. REDIRECT Unification (computer science)#Syntactic unification of first-order terms

{{R to alternative name}}