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

by M Maher