The height of a random binary search tree.
A differential approach to inference in Bayesian networks.
Algorithms for computing the static single assignment form.
An analytic approach to the height of binary search trees II.
Erratum: P. van Beek and R. Dechter's theorem on constraint looseness and local consistency.