Johann A. Makowsky, Elena V. Ravve: Incremental Model Checking for Decomposable Structures (Extended Abstract). MFCS 1995: 540-551