J. Albert Karel Culik II Tree Correspondence Problems. 167-179 1982 24 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss24.html#AlbertC82