English ordered binary decision diagrams: translation to other languages