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

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