Bottom-up tree pushdown automata: Classification and connection with rewrite systems
scientific article; zbMATH DE number 567717
scientific article