Armin Biere, Edmund M. Clarke, Yunshan Zhu. Multiple State and Single State Tableaux for Combining Local and Global Model Checking. In Ernst-Rüdiger Olderog, Bernhard Steffen, editors, Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel). Volume 1710 of Lecture Notes in Computer Science, pages 163-179, Springer, 1999. [doi]
Abstract is missing.