%O Report 
%F maher88
%A Maher, Michael J.
%T Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees
%I IBM T.J.\ Watson Research Center, Yorktown Heights, New York
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/maher1988a.pdf
%D 1988
%K algexp