Publikation
Sergey Goncharov; Lutz Schröder
In: Martin Grohe (Hrsg.). Proceedings of the 26th Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE. IEEE Symposium on Logic in Computer Science (LICS-2011), June 21-24, Toronto, Ontario, Canada, IEEE Computer Society, 2011.