Bystrov, A, Almaini, A E A, "Reversed ROBDD circuits.", , 1998