simplest unifier

📖 中文释义

  1. [计] 最简一致置换