@inproceedings{Maher,
    doi = {10.1109/lics.1988.5132},
    url = {https://doi.org/10.1109%2Flics.1988.5132},
    publisher = {{IEEE} Comput. Soc. Press},
    author = {M.J. Maher},
    title = {Complete axiomatizations of the algebras of finite, rational and infinite trees},
    booktitle = {[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science}
}

@inproceedings{Maher, doi = {10.1109/lics.1988.5132}, url = {https://doi.org/10.1109%2Flics.1988.5132}, publisher = {{IEEE} Comput. Soc. Press}, author = {M.J. Maher}, title = {Complete axiomatizations of the algebras of finite, rational and infinite trees}, booktitle = {[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science} }