@article{lmcs:1640, title = {Two-variable Logic with Counting and a Linear Order}, author = {Witold Charatonik and Piotr Witkowski}, url = {https://lmcs.episciences.org/1640}, doi = {10.2168/LMCS-12(2:8)2016}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 12, Issue 2}, eid = 8, year = {2016}, month = {Jun}, keywords = {Computer Science - Logic in Computer Science}, }