Vorobyov, Sergei Computational Biology and Applied Algorithmics, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dv1a4 (Publisher version)
Vorobyov, S. (1996). On the Bounded Theories of Finite Trees. In J. Jaffar, & R. H. C. Yap (Eds.), Concurrency and Parallelism, Programming, Networking, and Security (pp. 152-161). Berlin, Germany: Springer.