@inbook{Pratt_Hartmann_2010,
    title = {The Two-Variable Fragment with Counting Revisited},
    isbn = {9783642138249},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-642-13824-9_4},
    doi = {10.1007/978-3-642-13824-9_4},
    booktitle = {Lecture Notes in Computer Science},
    publisher = {Springer Berlin Heidelberg},
    author = {Pratt-Hartmann, Ian},
    year = {2010},
    pages = {42–54},
    date-added = {2024-3-31 7:40:54 +0100}
}

@inbook{Pratt_Hartmann_2010, title = {The Two-Variable Fragment with Counting Revisited}, isbn = {9783642138249}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-642-13824-9_4}, doi = {10.1007/978-3-642-13824-9_4}, booktitle = {Lecture Notes in Computer Science}, publisher = {Springer Berlin Heidelberg}, author = {Pratt-Hartmann, Ian}, year = {2010}, pages = {42–54}, date-added = {2024-3-31 7:40:54 +0100} }