@inproceedings{conf/icalp/AtseriasBD07a, title = {Affine Systems of Equations and Counting Infinitary Logic.}, author = {Albert Atserias and Andrei Bulatov and Anuj Dawar}, booktitle = {ICALP}, crossref = {conf/icalp/2007}, editor = {Lars Arge and Christian Cachin and Tomasz Jurdzinski and Andrzej Tarlecki}, pages = {558-570}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2007.html#AtseriasBD07a}, volume = {4596}, year = {2007}, biburl = {http://www.bibsonomy.org/bibtex/2d4ecebe1d73faeaf6846db42afe9b1c9/dblp}, description = {dblp}, ee = {http://dx.doi.org/10.1007/978-3-540-73420-8_49}, isbn = {978-3-540-73419-2}, date = {2007-09-03}, keywords = {dblp } }