Philip Bille Inge Li Gørtz The Tree Inclusion Problem: In Optimal Space and Faster. 66-77 2005 conf/icalp/2005 ICALP http://dx.doi.org/10.1007/11523468_6 db/conf/icalp/icalp2005.html#BilleG05