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

by Michael J Maher
Venue:In LICS