Böhm s theorem for Berarducci trees

Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries. Böhm s theorem for Berarducci trees. Theoretical Computer Science, 31:34-57, 2000. [doi]

Abstract

Abstract is missing.