@book(bk:BerstelReutenauer,
 author       = "J. Berstel and C. Reutenauer",
 year         = "1984",
 title        = "Rational Series and their languages",
 series       = "EATCS Monographs on Theoretical Computer Science",
 volume       = "12",
 publisher    = "Springer",
)
@inproceedings(ar:Bollig-etal2010,
 author       = "B. Bollig and P. Gastin and B. Monmege and M. Zeitoun",
 year         = "2010",
 title        = "Pebble weighted automata and transitive closure logics",
 booktitle    = "ICALP'10",
 series       = "Lecture Notes in Computer Science",
 volume       = "6199",
 publisher    = "Springer",
 pages        = "587--598",
 doi          = "10.1007/978-3-642-11301-7",
)
@article(ar:CarlylePaz1971,
 author       = "J.W. Carlyle and A. Paz",
 year         = "1971",
 title        = "Realizations by Stochastic Finite Automata",
 journal      = "J. Comp. Syst. Sc.",
 volume       = "5",
 pages        = "26--40",
 doi          = "10.1016/S0022-0000(71)80005-3",
)
@article(ar:Cobham1978,
 author       = "A. Cobham",
 year         = "1978",
 title        = "Representation of a Word Function as the Sum of Two Functions",
 journal      = "Mathematical Systems Theory",
 volume       = "11",
 pages        = "373--377",
 doi          = "10.1007/BF01768487",
)
@article(ar:CourcelleMakowskyRoticsTOCS,
 author       = "B. Courcelle and J.A. Makowsky and U. Rotics",
 year         = "2000",
 title        = "Linear Time Solvable Optimization Problems on Graphs of Bounded Clique-Width",
 journal      = "Theory of Computing Systems",
 volume       = "33.2",
 pages        = "125--150",
 doi          = "10.1007/s002249910009",
)
@article(ar:CourcelleMakowskyRoticsDAM,
 author       = "B. Courcelle and J.A. Makowsky and U. Rotics",
 year         = "2001",
 title        = "On the Fixed Parameter Complexity of Graph Enumeration Problems Definable in Monadic Second Order Logic",
 journal      = "Discrete Applied Mathematics",
 volume       = "108",
 number       = "1-2",
 pages        = "23--52",
 doi          = "10.1016/S0166-218X(00)00221-3",
)
@inproceedings(ar:DrosteGastin05,
 author       = "M. Droste and P. Gastin",
 year         = "2005",
 title        = "Weighted Automata and Weighted Logics",
 booktitle    = "ICALP 2005",
 pages        = "513--525",
 doi          = "10.1007/11523468\_42",
)
@article(ar:DrosteGastin2007,
 author       = "M. Droste and P. Gastin",
 year         = "2007",
 title        = "Weighted automata and weighted logics",
 journal      = "Theor. Comput. Sci.",
 volume       = "380",
 number       = "1-2",
 pages        = "69--86",
 doi          = "10.1016/j.tcs.2007.02.055",
)
@book(bk:HandbookWeightedAutomata,
 editor       = "M. Droste and W. Kuich and H. Vogler",
 year         = "2009",
 title        = "Handbook of Weighted Automata",
 series       = "EATCS Monographs on Theoretical Computer Science",
 publisher    = "Springer",
)
@article(ar:DrosteVogler2006,
 author       = "M. Droste and H. Vogler",
 year         = "2006",
 title        = "Weighted tree automata and weighted logics",
 journal      = "Theor. Comput. Sci.",
 volume       = "366",
 pages        = "228--247",
 doi          = "10.1016/j.tcs.2006.08.025",
)
@article(ar:DrosteKuich2013,
 author       = "Manfred Droste and Werner Kuich",
 year         = "2013",
 title        = "Weighted finite automata over semirings",
 journal      = "Theor. Comput. Sci.",
 volume       = "485",
 pages        = "38--48",
 doi          = "10.1016/j.tcs.2013.02.028",
)
@book(bk:EF95,
 author       = "H.-D. Ebbinghaus and J. Flum",
 year         = "1995",
 title        = "Finite Model Theory",
 series       = "Perspectives in Mathematical Logic",
 publisher    = "Springer",
 doi          = "10.1007/978-3-662-03182-7",
)
@article(ar:Fliess1974,
 author       = "M. Fliess",
 year         = "1974",
 title        = "Matrices de {H}ankel",
 journal      = "J Maths Pures Appl",
 volume       = "53",
 pages        = "197--222",
 note         = "Erratum in volume 54",
)
@inproceedings(ar:GodlinKotekMakowsky08,
 author       = "B. Godlin and T. Kotek and J.A. Makowsky",
 year         = "2008",
 title        = "Evaluation of graph polynomials",
 booktitle    = "34th International Workshop on Graph-Theoretic Concepts in Computer Science, WG08",
 series       = "Lecture Notes in Computer Science",
 volume       = "5344",
 pages        = "183--194",
 doi          = "10.1007/978-3-540-92248-3\_17",
)
@article(ar:GraedelGurevich,
 author       = "E. Gr{\"a}del and Y. Gurevich",
 year         = "1998",
 title        = "Metafinite Model Theory",
 journal      = "Information and Computation",
 volume       = "140",
 pages        = "26--81",
 doi          = "10.1006/inco.1997.2675",
)
@book(bk:HU,
 author       = "J. E. Hopcroft and J. D. Ullman",
 year         = "1980",
 title        = "Introduction to Automata Theory, Languages and Computation",
 series       = "Addison-Wesley Series in Computer Science",
 publisher    = "Addison-Wesley",
)
@phdthesis(phd:Jacob,
 author       = "G. Jacob",
 year         = "1975",
 title        = "Repr{\'e}sentations et substitutions matricielles dans la th{\'e}orie alg{\'e}brique des transductions",
 school       = "Universit{\'e} de Paris, {VII}",
)
@phdthesis(phd:Kotek,
 author       = "T. Kotek",
 year         = "March 2012",
 title        = "Definability of combinatorial functions",
 school       = "Technion - Israel Institute of Technology, Haifa, Israel",
 note         = "Submitted",
)
@inproceedings(pr:KotekMakowsky2012,
 author       = "T. Kotek and J.A. Makowsky",
 year         = "2012",
 title        = "Connection Matrices and the Definability of Graph Parameters",
 booktitle    = "CSL 2012",
 pages        = "411--425",
 doi          = "10.4230/LIPIcs.CSL.2012.411",
)
@inproceedings(ar:KotekMakowskyZilber08,
 author       = "T. Kotek and J.A. Makowsky and B. Zilber",
 year         = "2008",
 title        = "On Counting Generalized Colorings",
 booktitle    = "Computer Science Logic, CSL'08",
 series       = "Lecture Notes in Computer Science",
 volume       = "5213",
 pages        = "339–--353",
 doi          = "10.1007/978-3-540-87531-4\_25",
)
@incollection(ar:KotekMakowskyZilber11,
 author       = "T. Kotek and J.A. Makowsky and B. Zilber",
 year         = "2011",
 title        = "On Counting Generalized Colorings",
 editor       = "M. Grohe and J.A. Makowsky",
 booktitle    = "Model Theoretic Methods in Finite Combinatorics",
 series       = "Contemporary Mathematics",
 volume       = "558",
 publisher    = "American Mathematical Society",
 pages        = "207--242",
 doi          = "10.1090/conm/558/11052",
)
@article(ar:MakowskyTARSKI,
 author       = "J.A. Makowsky",
 year         = "2004",
 title        = "Algorithmic uses of the {F}eferman-{V}aught theorem",
 journal      = "Annals of Pure and Applied Logic",
 volume       = "126.1-3",
 pages        = "159--213",
 doi          = "10.1016/j.apal.2003.11.002",
)
@article(ar:Makowsky2005,
 author       = "J.A. Makowsky",
 year         = "2005",
 title        = "Coloured Tutte polynomials and Kauffman brackets for graphs of bounded tree width",
 journal      = "Discrete Applied Mathematics",
 volume       = "145",
 number       = "2",
 pages        = "276--290",
 doi          = "10.1016/j.dam.2004.01.016",
)
@article(ar:MakowskyZoo,
 author       = "J.A. Makowsky",
 year         = "2008",
 title        = "From a Zoo to a Zoology: Towards a general theory of graph polynomials",
 journal      = "Theory of Computing Systems",
 volume       = "43",
 pages        = "542--562",
 doi          = "10.1007/s00224-007-9022-9",
)
@article(ar:Skolem1962,
 author       = "Th. Skolem",
 year         = "1962",
 title        = "Proof of some theorems on recursively enumerable sets",
 journal      = "Notre Dame Journal of Formal Logic",
 volume       = "3.2",
 pages        = "65--74",
 doi          = "10.1305/ndjfl/1093957149",
)
@article(ar:Volkov2010,
 author       = "S.A. Volkov",
 year         = "2010",
 title        = "On a class of {S}kolem elementary functions",
 journal      = "Journal of Applied and Industrial Mathematics",
 volume       = "4.4",
 pages        = "588--599",
 doi          = "10.1134/S1990478910040149",
)