Mariangiola Dezani-Ciancaglini Paula Severi Fer-Jan de Vries Böhm's theorem for Berarducci trees. 2000 31 Electr. Notes Theor. Comput. Sci. db/journals/tcs/entcs31.html#Dezani-CiancagliniSV00 http://www.elsevier.nl/locate/entcs/volume31.html