@inproceedings{ef4f53775c914cb998cd1847ff0892d6,
title = "forallexistsR-Completeness and Area-Universality",
author = "Dobbins, {Michael Gene} and Linda Kleist and Till Miltzow and Pawel Rzazewski",
year = "2018",
doi = "10.1007/978-3-030-00256-514",
language = "English",
volume = "11159",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "164--175",
editor = "Andreas Brandst{\"a}dt and Ekkehard K{\"o}hler and Klaus Meer",
booktitle = "Graph-Theoretic Concepts in Computer Science - 44th International Workshop, WG 2018, Cottbus, Germany, June 27-29, 2018, Proceedings",
address = "Germany",
}