Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries. Böhm s theorem for Berarducci trees. Theoretical Computer Science, 31:34-57, 2000. [doi]
@article{Dezani-CiancagliniSV00,
title = {Böhm s theorem for Berarducci trees},
author = {Mariangiola Dezani-Ciancaglini and Paula Severi and Fer-Jan de Vries},
year = {2000},
url = {http://www.elsevier.nl/locate/entcs/volume31.html},
researchr = {https://researchr.org/publication/Dezani-CiancagliniSV00},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {31},
pages = {34-57},
}