The following publications are possibly variants of this publication:
- Twin-width I: tractable FO model checkingÉdouard Bonnet, Eun Jung Kim 0002, Stéphan Thomassé, Rémi Watrigant. focs 2020: 601-612 [doi]
- The tractability of model checking for LTL: The good, the bad, and the ugly fragmentsMichael Bauland, Martin Mundhenk, Thomas Schneider 0002, Henning Schnoor, Ilka Schnoor, Heribert Vollmer. tocl, 12(2):13, 2011. [doi]