New and improved algorithms for unordered tree inclusion
scientific article; zbMATH DE number 7387694