@inproceedings{HarwathSchweikardt2011,
  author    = {Frederik Harwath and Nicole Schweikardt},
  title     = {Regular tree languages, cardinality predicates, and addition-invariant FO},
  booktitle = {Christoph D{\"u}rr ; Thomas Wilke (Hrsg.): 29th International Symposium on Theoretical Aspects of Computer Science (STACS 2012) = Leibniz international proceedings in informatics, 14.2012},
  editor    = {Christoph D{\"u}rr and Thomas Wilke},
  pages     = {489 -- 500},
  doi       = {10.4230/LIPIcs.STACS.2012.489},
  year      = {2011},
}