Treewidth in Verification: Local vs. Global.

Andrea Ferrara, Guoqiang Pan, Moshe Y. Vardi

Browse the full LPAR paper archive.