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 Szeider41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) (Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier, eds.), volume 58 of Leibniz International Proceedings in Informatics (LIPIcs), pages 42:1–42:14, 2016, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik.
Bibtex Entry:
@inproceedings{GanianDeHaanKanjSzeider16,
author = {Robert Ganian and Ronald de Haan and Iyad Kanj and Stefan Szeider},
title = {{On Existential MSO and its Relation to ETH}},
booktitle = {41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)},
pages = {42:1--42:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-016-3},
ISSN = {1868-8969},
year = {2016},
volume = {58},
editor = {Piotr Faliszewski and Anca Muscholl and Rolf Niedermeier},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
doi = {10.4230/LIPIcs.MFCS.2016.42},
URL = {http://drops.dagstuhl.de/opus/volltexte/2016/6455},
keywords = {xtract}
}