On Aligning Non-Order-Associated Binary Decision Diagrams. - Bochkarev, Alexey A.; Smith, J. Cole (INFORMS Journal on Computing, 2023)