@workingPaper{BackofenRogersVijay-Shanker_1995,
title={A first-order axiomatization of the theory of finite trees},
author={Backofen, Rolf and Rogers, James and Vijay-Shanker, K.},
doi={http://dx.doi.org/10.22028/D291-25008},
year={1995}
}