Learning ordered binary decision diagrams | Publicación