@inproceedings(CadFM11,
 author       = {Micha{\"{e}}l Cadilhac and Alain Finkel and Pierre McKenzie},
 year         = {2011},
 title        = {On the Expressiveness of {Parikh} Automata and Related Models},
 editor       = {Rudolf Freund and Markus Holzer and Carlo Mereghetti and Friedrich Otto and Beatrice Palano},
 booktitle    = {Third Workshop on Non-Classical Models for Automata and Applications (NCMA 2011)},
 series       = {books@ocg.at},
 volume       = {282},
 publisher    = {Austrian Computer Society},
 pages        = {103--119},
)
@inproceedings(CadGhoPer23,
 author       = {Micha\"{e}l Cadilhac and Arka Ghosh and Guillermo A. P\'{e}rez and Ritam Raha},
 year         = {2023},
 title        = {{Parikh One-Counter Automata}},
 editor       = {J\'{e}r\^{o}me Leroux and Sylvain Lombardy and David Peleg},
 booktitle    = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
 series       = {LIPIcs},
 volume       = {272},
 publisher    = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
 pages        = {30:1--30:15},
 doi          = {10.4230/LIPIcs.MFCS.2023.30},
)
@inproceedings(CouSch14,
 author       = {Jean-Baptiste Courtois and Sylvain Schmitz},
 year         = {2014},
 title        = {Alternating {Vector} {Addition} {Systems} with {States}},
 editor       = {Csuhaj-Varjú, Erzsébet and Martin Dietzfelbinger and Zoltán Ésik},
 booktitle    = {Mathematical {Foundations} of {Computer} {Science} 2014},
 series       = {LNCS},
 volume       = {8634},
 publisher    = {Springer},
 pages        = {220--231},
 doi          = {10.1007/978-3-662-44522-8_19},
)
@article(FujiyoshiK00,
 author       = {Akio Fujiyoshi and Takumi Kasai},
 year         = {2000},
 title        = {Spinal-Formed Context-Free Tree Grammars},
 journal      = {Theory Comput. Syst.},
 volume       = {33},
 number       = {1},
 pages        = {59--83},
 doi          = {10.1007/S002249910004},
)
@article(GinSpa66,
 author       = {Seymour Ginsburg and Edwin Spanier},
 year         = {1966},
 title        = {Semigroups, {Presburger} formulas, and languages},
 journal      = {Pacific Journal of Mathematics},
 volume       = {16},
 number       = {2},
 pages        = {285--296},
 doi          = {10.2140/pjm.1966.16.285},
)
@inproceedings(Gro24,
 author       = {Mario Grobler and Leif Sabellek and Sebastian Siebertz},
 year         = {2024},
 title        = {{Remarks on Parikh-Recognizable Omega-languages}},
 editor       = {Aniello Murano and Alexandra Silva},
 booktitle    = {32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)},
 series       = {LIPIcs},
 volume       = {288},
 publisher    = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
 pages        = {31:1--31:21},
 doi          = {10.4230/LIPIcs.CSL.2024.31},
)
@incollection(Gue81,
 author       = {I. Guessarian},
 year         = {1981},
 title        = {On pushdown tree automata},
 editor       = {G. Goos and J. Hartmanis and W. Brauer and Brinch Hansen, P. and D. Gries and C. Moler and G. Seegmüller and J. Stoer and N. Wirth and Egidio Astesiano and Corrado Böhm},
 booktitle    = {{CAAP} '81},
 volume       = {112},
 publisher    = {Springer},
 pages        = {211--223},
 doi          = {10.1007/3-540-10828-9_64},
)
@inproceedings(GuhaJL022,
 author       = {Shibashis Guha and Isma{\"{e}}l Jecker and Karoliina Lehtinen and Martin Zimmermann},
 year         = {2022},
 title        = {Parikh Automata over Infinite Words},
 editor       = {Anuj Dawar and Venkatesan Guruswami},
 booktitle    = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science ({FSTTCS} 2022)},
 series       = {LIPIcs},
 volume       = {250},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {40:1--40:20},
 doi          = {10.4230/LIPICS.FSTTCS.2022.40},
)
@inproceedings(HaaHal14,
 author       = {Christoph Haase and Simon Halfon},
 year         = {2014},
 title        = {Integer Vector Addition Systems with States},
 editor       = {Jo{\"e}l Ouaknine and Igor Potapov and James Worrell},
 booktitle    = {Reachability Problems},
 publisher    = {Springer},
 pages        = {112--124},
 doi          = {10.1007/978-3-319-11439-2_9},
)
@article(Her21,
 author       = {Luisa Herrmann},
 year         = {2021},
 title        = {Linear weighted tree automata with storage and inverse linear tree homomorphisms},
 journal      = {Information and Computation},
 volume       = {281},
 pages        = {104816},
 doi          = {10.1016/j.ic.2021.104816},
)
@inproceedings(HPR24,
 author       = {Luisa Herrmann and Vincent Peth and Sebastian Rudolph},
 year         = {2024},
 title        = {Decidable (Ac)counting with {Parikh} and {Muller}: Adding {Presburger} Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures},
 editor       = {Aniello Murano and Alexandra Silva},
 booktitle    = {32nd {EACSL} Annual Conference on Computer Science Logic ({CSL} 2024)},
 series       = {LIPIcs},
 volume       = {288},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {33:1--33:19},
 doi          = {10.4230/LIPICS.CSL.2024.33},
)
@book(Joh00,
 author       = {John Hopcroft and Rajeev Motwani and Jeffrey Ullmann},
 year         = {2000},
 title        = {Introduction to {Automata} {Theory}, {Languages}, and {Computation}},
 edition      = {2},
 publisher    = {Addison-Wesley},
)
@phdthesis(Kla04,
 author       = {Felix Klaedtke},
 year         = {2004},
 title        = {Automata-based decision procedures for weak arithmetics},
 school       = {University of Freiburg},
 url          = {http://freidok.ub.uni-freiburg.de/volltexte/1439/index.html},
)
@techreport(KlaRue02,
 author       = {Felix Klaedtke and Rue{\ss}, Harald},
 year         = {2002},
 title        = {Parikh automata and monadic second-order logics with linear cardinality constraints},
 type         = {Technical Report},
 number       = {177},
 institution  = {Albert-Ludwigs-Universität Freiburg},
 note         = {(revised version)},
)
@inproceedings(KlaRue03,
 author       = {Felix Klaedtke and Rue{\ss}, Harald},
 year         = {2003},
 title        = {Monadic Second-Order Logics with Cardinalities},
 editor       = {Jos C. M. Baeten and Jan Karel Lenstra and Joachim Parrow and Gerhard J. Woeginger},
 booktitle    = {Automata, Languages and Programming, 30th International Colloquium ({ICALP} 2003)},
 series       = {LNCS},
 volume       = {2719},
 publisher    = {Springer},
 pages        = {681--696},
 doi          = {10.1007/3-540-45061-0_54},
)
@article(LinMitSce92,
 author       = {Patrick Lincoln and John Mitchell and Andre Scedrov and Natarajan Shankar},
 year         = {1992},
 title        = {Decision problems for propositional linear logic},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {56},
 number       = {1},
 pages        = {239--311},
 doi          = {10.1016/0168-0072(92)90075-B},
)
@book(Min67,
 author       = {Marvin L. Minsky},
 year         = {1967},
 title        = {Computation: finite and infinite machines},
 publisher    = {Prentice-Hall, Inc.},
)
@article(FetWri68,
 author       = {J. W. Thatcher and J. B. Wright},
 year         = {1968},
 title        = {Generalized finite automata theory with an application to a decision problem of second-order logic},
 journal      = {Mathematical systems theory},
 volume       = {2},
 pages        = {57--81},
 doi          = {10.1007/BF01691346},
)