eds., Tree automata and languages (1992)

by M Nivat, A Podelski
Venue:of Studies in Computer Science and Artificial Intelligence, North-Holland Publishing Co