most general unifier
most general unifier是什么意思、most general unifier怎么读
【计】 最广通代
most general unifier汉语翻译
【计】 最广通代