Proceedings of the 31st Annual ACMIEEE Symposium on Logic in Computer Science - Grohe, Martin (Verfasser); Association for Computing Machinery-Digital Library; ACM Special Interest Group on Logic; Computation (ACM, 2016)