A First-Order Axiomatization of the Theory of Finite Trees

@techreport{pub6123,
    author = {

Backofen, Rolf
 and 

Rogers, James
 and 

Vijay-Shanker, K.
},
    title = {A First-Order Axiomatization of the Theory of Finite Trees},
    series = {DFKI Research Reports (RR)},
    year = {1995},
    volume = {95-05},
    pages = {35},
    institution = {DFKI}
}