A complexity calculus for classes of recursive search programs over tree structures | IEEE Conference Publication | IEEE Xplore