Efficient breadth-first manipulation of binary decision diagrams. - Pranav Ashar; Matthew Cheong (ICCAD, 1994)