אנגלית ⇄ איטלקית גרמנית דנית הולנדית יוונית ספרדית פינית צרפתית שוודית +

Herbrand's algorithm
.טכנול	algoritmo de Herbrand