A First-Order Axiomatization of the Theory of Finite Trees (1995)

by R Backofen, J Rogers, K Vijay-Shankar
Venue:Journal of Logic, Language and Information