Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth. Theory of finite or infinite trees revisited. TPLP, 8(4):431-489, 2008. [doi]
@article{DjelloulDF08,
title = {Theory of finite or infinite trees revisited},
author = {Khalil Djelloul and Thi-Bich-Hanh Dao and Thom W. Frühwirth},
year = {2008},
doi = {10.1017/S1471068407003171},
url = {http://dx.doi.org/10.1017/S1471068407003171},
researchr = {https://researchr.org/publication/DjelloulDF08},
cites = {0},
citedby = {0},
journal = {TPLP},
volume = {8},
number = {4},
pages = {431-489},
}