Variable ordering schemes to apply to the binary decision diagram methodology for event tree sequences assessment | Publicación