An Isolated-Subtree Inclusion for Unordered Trees. - Takahiro Hokazono; Tomohiro Kan; Yoshiyuki Yamamoto; Kouichi Hirata (IIAI-AAI, 2012)