Complete axiomatizations of the algebras of the finite, rational, and infinite trees (1988)

by M J Maher
Venue:IEEE Symposium on Logic in Computer Science