Tree automata and languages - Nivat, Maurice, 1937-; Podelski, Andreas (Studies in computer science and artificial intelligence ;, 1992)