Yangjun Chen Yibin Chen On the top-down tree inclusion. 61-66 2006 conf/acst/2006 ACST db/conf/acst/acst2006.html#ChenC06