Twin-Treewidth: A Single-Exponential Logic-Based Approach. - Maurício Pires; Uéverton S. Souza; Bruno Lopes 001 (COCOA (2), 2023)