\(\Sigma_ 1^ 1\)-completeness of a fragment of the theory of trees with subtree relation
scientific article; zbMATH DE number 769234