גרמנית ⇄ אנגלית +

Unifikationsalgorithmus m
.בינה	unification algorithm