A first-order axiomatization of the theory of finite trees

Rolf Backofen, James Rogers & K. Vijay-Shanker
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.