Felix Canavoi, Erich Grädel, Roman Rabinovich: The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs. ... 197-209
Pawel Parys: Higher-Order Pushdown Systems with Data. ... 210-223
Domenico Cantone, Cristiano Longo: A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions. ... 224-237