First-order theories of bounded trees
scientific article; zbMATH DE number 7495462
scientific article