Nested Sibling Tree Automata

From MaRDI portal
Publication:3625699