FO Model Checking on Nested Pushdown Trees.

Alexander Kartzow

Browse the full MFCS paper archive.