@inproceedings{Charatonik_2013,
    title = {Two-Variable Logic with Counting and Trees},
    url = {http://dx.doi.org/10.1109/LICS.2013.12},
    doi = {10.1109/lics.2013.12},
    booktitle = {2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science},
    publisher = {IEEE},
    author = {Charatonik, Witold and Witkowski, Piotr},
    year = {2013},
    month = {jun},
    date-added = {2024-3-31 7:39:20 +0100}
}

@inproceedings{Charatonik_2013, title = {Two-Variable Logic with Counting and Trees}, url = {http://dx.doi.org/10.1109/LICS.2013.12}, doi = {10.1109/lics.2013.12}, booktitle = {2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science}, publisher = {IEEE}, author = {Charatonik, Witold and Witkowski, Piotr}, year = {2013}, month = {jun}, date-added = {2024-3-31 7:39:20 +0100} }