Games on Multi-stack Pushdown Systems (Q3605543)

From MaRDI portal