Existential MSO over two successors is strictly weaker than over linear orders
scientific article; zbMATH DE number 5602755
scientific article