## Michael J. Maher

*Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees*

LICS, 1988.

@inproceedings{LICS-1988-Maher, author = "Michael J. Maher", booktitle = "{Proceedings of the Third Annual Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1988.5132", isbn = "0-8186-0853-6", pages = "348--357", publisher = "{IEEE Computer Society}", title = "{Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees}", year = 1988, }