Philip Kilby John K. Slaney Sylvie Thiébaux Toby Walsh Estimating Search Tree Size. 2006 conf/aaai/2006 AAAI db/conf/aaai/aaai2006.html#KilbySTW06