Incremental Model Checking for Decomposable Structures (Extended Abstract).

Johann A. Makowsky, Elena V. Ravve

Browse the full MFCS paper archive.