Definition of "unifier"

unifier