TY  - RPRT
TI  - Model Checking on Interpretations of Classes of Bounded Local Cliquewidth
AU  - Édouard Bonnet
AU  - Jan Dreier
AU  - Jakub Gajarský
AU  - Stephan Kreutzer
AU  - Nikolas Mählmann
AU  - Pierre Simon
AU  - Szymon Toruńczyk
PY  - 2022
UR  - https://arxiv.org/abs/2202.13014
ID  - 2202.13014
ER  -