English ordered binary decision diagram: tłumaczenie na inne języki