Y. Breitbart

• A branch-and-bound algorithm for optimal evaluation of monotonic Boolean functions
• Bounds on decision trees for monotonic Boolean functions
• Overview of multidatabase transaction management
• Some bounds on the complexity of predicate recognition by finite automata