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

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