אנגלית ⇄ סינית +

breadth first strategy of resolution refutation
.טכנול	归结反演宽度优先策略