Circle graphs and monadic second-order logic
order-invariant monadic second-order property
scientific article; zbMATH DE number 5346260
scientific article