Logics and Automata for Totally Ordered Trees (Q3522020)

From MaRDI portal