Manipulating Trees with Hidden Labels (2003)

by Luca Cardelli , Philippa Gardner , Giorgio Ghelli
Venue:FOSSACS'03
Citations:34 - 4 self