%0 Journal Article 
%F kozen92
%A Kozen, D.
%T On the Myhill-Nerode Theorem for Trees
%J Bulletin of the European Assocation for Theoretical Computer Science (EATCS Bull.)
%V 47
%P 170-173
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/kozen1992.pdf
%8 June
%D 1992
%K algexp