English ordered binary decision diagram: перевод на другие языки