Reduced Ordered Binary Decision Diagrams