Average-case analysis of equality of binary trees under the BST probability model | Publicación