by Robert Ganian, Ronald de Haan, Iyad Kanj, Stefan Szeider
Reference:
On Existential MSO and its Relation to ETHRobert Ganian, Ronald de Haan, Iyad Kanj, Stefan SzeiderACM Transactions on Computation Theory, volume 12, number 4, pages 22:1–22:32, 2020.
Bibtex Entry:
@article{DeHaanGanianKanjSzeider20,
author = {Robert Ganian and Ronald de Haan and Iyad Kanj and Stefan Szeider},
title = {{On Existential MSO and its Relation to ETH}},
Journal = {ACM Transactions on Computation Theory},
Year = {2020},
volume = {12},
number = {4},
pages = {22:1--22:32},
keywords = {nfpc,reveal,slim},
}