A first-order axiomatization of the theory of finite trees
scientific article; zbMATH DE number 823621