Complete axiomatisations of the algebra of finite, rational and infinite trees (1988)

by Michael J Maher