Bystrov, A., & Almaini, A. E. A. (1998). Reversed ROBDD circuits. Electronics Letters, 34, 1447-1449. https://doi.org/10.1049/el%3A19981070