@article{Pratt_Hartmann_2005,
    doi = {10.1007/s10849-005-5791-1},
    url = {https://doi.org/10.1007%2Fs10849-005-5791-1},
    year = {2005},
    month = {jun},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {14},
    number = {3},
    pages = {369--395},
    author = {Ian Pratt-Hartmann},
    title = {Complexity of the Two-Variable Fragment with Counting Quantifiers},
    journal = {Journal of Logic, Language and Information}
}

@article{Pratt_Hartmann_2005, doi = {10.1007/s10849-005-5791-1}, url = {https://doi.org/10.1007%2Fs10849-005-5791-1}, year = {2005}, month = {jun}, publisher = {Springer Science and Business Media {LLC}}, volume = {14}, number = {3}, pages = {369--395}, author = {Ian Pratt-Hartmann}, title = {Complexity of the Two-Variable Fragment with Counting Quantifiers}, journal = {Journal of Logic, Language and Information} }