Ordered and unordered tree inclusion (1995)

by P Kilpeläinen, H Mannila
Venue:SIAM J. Comp