Nicolas Markey

@inproceedings{scc1979-Abr,
  author =              {Abrahamson, Karl},
  title =               {Modal Logic of Concurrent Nondeterministic Programs},
  editor =              {Kahn, Gilles},
  booktitle =           {{P}roceedings of the International Symposium
                         Semantics of Concurrent Computation ({SCC}'79)},
  acronym =             {{SCC}'79},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {70},
  pages =               {21-33},
  year =                {1979},
  month =               jul,
}

@article{ipl8(3)-APT,
  author =              {Aspvall, Bengt and Plass, Michael F. and Tarjan,
                         Robert Endre},
  title =               {A Linear-Time Algorithm for Testing the Truth of
                         Certain Quantified Boolean Formulas},
  publisher =           {Elsevier},
  journal =             {Information Processing Letters},
  volume =              {8},
  number =              {3},
  pages =               {121-123},
  year =                {1979},
  month =               mar,
  note =                {erratum as~\cite{ipl14(4)-APT}},
}

@article{jsl44(4)-Bur,
  author =              {Burgess,John P.},
  title =               {Logic and Time},
  publisher =           {Association for Symbolic Logic},
  journal =             {Journal of Symbolic Logic},
  volume =              {44},
  number =              {4},
  pages =               {566-582},
  year =                {1979},
  month =               dec,
}

@article{pjm82(1)-CC,
  author =              {Cousot, Patrick and Cousot, Radhia},
  title =               {Constructive Versions of {T}arski's Fixed Point
                         Theorems},
  journal =             {Pacific Journal of Mathematics},
  volume =              {82},
  number =              {1},
  pages =               {43-57},
  year =                {1979},
}

@article{ijgt49-EM,
  author =              {Ehrenfeucht, Andrzej and Mycielski, Jan},
  title =               {Positional strategies for mean payoff games},
  publisher =           {Springer-Verlag},
  journal =             {International Journal of Game Theory},
  volume =              {8},
  number =              {2},
  pages =               {109-113},
  year =                {1979},
  month =               jun,
  doi =                 {10.1007/BF01768705},
}

@article{jcss18(2)-FL,
  author =              {Fischer, Michael J. and Ladner, Richard E.},
  title =               {Propositional Dynamic Logic of Regular Programs},
  publisher =           {Academic Press},
  journal =             {Journal of Computer and System Sciences},
  volume =              {18},
  number =              {2},
  pages =               {194-211},
  year =                {1979},
  month =               apr,
}

@book{GJ79,
  author =              {Garey, Michael R. and Johnson, David S.},
  title =               {Computers and Intractability: A Guide to the Theory
                         of {NP}-Completeness},
  publisher =           {W.~H. Freeman~\&~Co.},
  year =                {1979},
}

@article{tcs8()-Val,
  author =              {Valiant, Leslie G.},
  title =               {The Complexity of Computing the Permanent},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {8},
  pages =               {189-201},
  year =                {1979},
}

@inproceedings{stoc1979-VTL,
  author =              {Valdes, Jacobo and Tarjan, Robert Endre and Lawler,
                         Eugene L.},
  title =               {The recognition of series-parallel digraphs},
  booktitle =           {{P}roceedings of the 11th {A}nnual {ACM} {S}ymposium
                         on the {T}heory of {C}omputing ({STOC}'79)},
  acronym =             {{STOC}'79},
  publisher =           {ACM Press},
  pages =               {1-12},
  year =                {1979},
  month =               apr,
  doi =                 {10.1145/800135.804393},
}

@article{ipl7(1)-ITN,
  author =              {Inoue, Katsushi and Takanami, Itsuo and Nakamura,
                         Akira},
  title =               {A~note on Two-dimensional Finite Automata},
  publisher =           {Elsevier},
  journal =             {Information Processing Letters},
  volume =              {7},
  number =              {1},
  pages =               {49-52},
  year =                {1978},
  month =               jan,
}

@article{dm23(3)-Kar,
  author =              {Karp, Richard M.},
  title =               {A~characterization of the minimum cycle mean in a
                         digraph},
  publisher =           {Elsevier},
  journal =             {Discrete Mathematics},
  volume =              {23},
  number =              {3},
  pages =               {309-311},
  year =                {1978},
  month =               sep,
}

@article{jacm25(2)-Mai,
  author =              {Maier, David},
  title =               {The Complexity of Some Problems on Subsequences and
                         Supersequences},
  publisher =           {ACM Press},
  journal =             {Journal of the~ACM},
  volume =              {25},
  number =              {2},
  pages =               {322-336},
  year =                {1978},
  month =               apr,
}

@article{tcs6()-Rac,
  author =              {Rackoff, Charles},
  title =               {The Covering and Boundedness Problems for Vector
                         Addition Systems},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {6},
  pages =               {223-231},
  year =                {1978},
  doi =                 {10.1016/0304-3975(78)90036-1},
}

@inproceedings{stoc1978-SS,
  author =              {Sakoda, William J. and Sipser, Michael},
  title =               {Nondeterminism and the Size of Two Way Finite
                         Automata},
  booktitle =           {{P}roceedings of the 10th {A}nnual {ACM} {S}ymposium
                         on the {T}heory of {C}omputing ({STOC}'78)},
  acronym =             {{STOC}'78},
  publisher =           {ACM Press},
  pages =               {275-286},
  year =                {1978},
  month =               may,
}

@inproceedings{popl1977-CC,
  author =              {Cousot, Patrick and Cousot, Radhia},
  title =               {Abstract Interpretation: A~Unified Lattice Model for
                         Static Analysis of Programs by Construction or
                         Approximation of Fixpoints},
  booktitle =           {Conference Record of the 4th {ACM} {S}ymposium on
                         {P}rinciples of {P}rogramming {L}anguages
                         ({POPL}'77)},
  acronym =             {{POPL}'77},
  publisher =           {ACM Press},
  pages =               {238-252},
  year =                {1977},
  month =               jan,
  doi =                 {10.1145/512950.512973},
}

@inproceedings{focs1977-Pnu,
  author =              {Pnueli, Amir},
  title =               {The Temporal Logic of Programs},
  booktitle =           {{P}roceedings of the 18th {A}nnual {S}ymposium on
                         {F}oundations of {C}omputer {S}cience ({FOCS}'77)},
  acronym =             {{FOCS}'77},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {46-57},
  year =                {1977},
  month =               oct,
  doi =                 {10.1109/SFCS.1977.32},
}

@article{tit23(3)-ZL,
  author =              {Ziv, Jacob and Lempel, Abraham},
  title =               {A Universal Algorithm for Sequential Data
                         Compression},
  publisher =           {IEEE Inf. Theory Soc.},
  journal =             {IEEE Transactions on Information Theory},
  volume =              {23},
  number =              {3},
  pages =               {337-343},
  year =                {1977},
  month =               may,
}

@article{acta6()-Gal,
  author =              {Galil, Zvi},
  title =               {Hierarchies of Complete Problems},
  publisher =           {Springer-Verlag},
  journal =             {Acta Informatica},
  volume =              {6},
  pages =               {77-88},
  year =                {1976},
}

@article{tcs3(3)-RV,
  author =              {Rivest, Ronald L. and Vuillemin, Jean},
  title =               {On Recognizing Graph Properties from Adjacency
                         Matrices},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {3},
  number =              {3},
  pages =               {371-384},
  year =                {1976},
}

@phdthesis{phd-seese,
  author =              {Seese, Detlef G.},
  title =               {Entscheidbarkeits- und {I}nterpretierbarkeitsfragen
                         monadischer {T}heorien zweiter {S}tufe gewisser
                         {K}lassen von {G}raphen},
  year =                {1976},
  school =              {Humboldt-Universit{\"a}t zu Berlin, German
                         Democratic Republic},
}

@article{tcs3(1)-Sto,
  author =              {Stockmeyer, Larry J.},
  title =               {The Polynomial-Time Hierarchy},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {3},
  number =              {1},
  pages =               {1-22},
  year =                {1976},
}

@article{tcs3(1)-Wra,
  author =              {Wrathall, Celia},
  title =               {Complete Sets and the Polynomial-Time Hierarchy},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {3},
  number =              {1},
  pages =               {23-33},
  year =                {1976},
}

@article{am102(2)-Mar,
  author =              {Martin, Donald A.},
  title =               {{B}orel Determinacy},
  publisher =           {Princeton University Press},
  journal =             {Annals of Mathematics},
  volume =              {102},
  number =              {2},
  pages =               {363-371},
  year =                {1975},
  month =               sep,
  doi =                 {10.2307/1971035},
}

@techreport{TM43-FR,
  author =              {Fischer, Michael J. and Rabin, Michael O.},
  title =               {Super-Exponential Complexity of {P}resburger
                         Arithmetic},
  number =              {TM-43},
  year =                {1974},
  month =               feb,
  institution =         {MIT Press},
  type =                {TR},
}

@article{jacm21(4)-HT,
  author =              {Hopcroft, John and Tarjan, Robert Endre},
  title =               {Efficient Planarity Testing},
  publisher =           {ACM Press},
  journal =             {Journal of the~ACM},
  volume =              {21},
  number =              {4},
  pages =               {549-568},
  year =                {1974},
  month =               oct,
}

@phdthesis{phd-stockmeyer,
  author =              {Stockmeyer, Larry J.},
  title =               {The Complexity of Decision Problems in Automata
                         Theory and Logic},
  year =                {1974},
  school =              {MIT},
}

@article{jcss7(4)-BFPRT,
  author =              {Blum, Manuel and Floyd, Robert W. and Pratt, Vaughan
                         R. and Rivest, Ronald L. and Tarjan, Robert Endre},
  title =               {Time Bounds for Selection},
  publisher =           {Academic Press},
  journal =             {Journal of Computer and System Sciences},
  volume =              {7},
  number =              {4},
  pages =               {448-461},
  year =                {1973},
  month =               aug,
}

@article{ijgt2(1)-Ros,
  author =              {Rosenthal, Robert W.},
  title =               {A~class of games possessing pure-strategy {N}ash
                         equilibria},
  publisher =           {Springer-Verlag},
  journal =             {International Journal of Game Theory},
  volume =              {2},
  number =              {1},
  pages =               {65-67},
  year =                {1973},
  month =               dec,
  doi =                 {10.1007/BF01737559},
}

@article{netw3(1)-Ros,
  author =              {Rosenthal, Robert W.},
  title =               {The network equilibrium problem in integers},
  publisher =           {John Wiley \& Sons},
  journal =             {Networks},
  volume =              {3},
  number =              {1},
  pages =               {53-59},
  year =                {1973},
  month =               jan,
  doi =                 {10.1002/net.3230030104},
}

@inproceedings{stoc1973-SM,
  author =              {Stockmeyer, Larry J. and Meyer, Albert R.},
  title =               {Word Problems Requiring Exponential Time:
                         Preliminary Report},
  booktitle =           {{P}roceedings of the 5th {A}nnual {ACM} {S}ymposium
                         on the {T}heory of {C}omputing ({STOC}'73)},
  acronym =             {{STOC}'73},
  publisher =           {ACM Press},
  pages =               {1-9},
  year =                {1973},
  month =               apr,
}

@article{tit18(1)-Cov,
  author =              {Cover, Thomas M.},
  title =               {Broadcast Channels},
  publisher =           {IEEE Inf. Theory Soc.},
  journal =             {IEEE Transactions on Information Theory},
  volume =              {18},
  number =              {1},
  pages =               {2-14},
  year =                {1972},
  month =               jan,
  doi =                 {10.1109/TIT.1972.1054727},
}

@article{smj13(2)-GK,
  author =              {Gurevich, Yuri and Koryakov, Igor O.},
  title =               {Remarks on {B}erger's paper on the domino problem},
  publisher =           {Springer-Verlag},
  journal =             {Siberian Mathematical Journal},
  volume =              {13},
  number =              {2},
  pages =               {459-463},
  year =                {1972},
  month =               mar,
}

@article{sigart-news37()-HNR,
  author =              {Hart, Peter E. and Nilsson, Nils J. and Raphael,
                         Bertram},
  title =               {Correction to {"}A~Formal Basis for the Heuristic
                         Determination of Minimum Cost Paths{"}},
  publisher =           {ACM Press},
  journal =             {SIGACT News},
  volume =              {37},
  pages =               {28-29},
  year =                {1972},
  month =               dec,
  doi =                 {10.1145/1056777.1056779},
}

@inproceedings{ccc1972-Kar,
  author =              {Karp, Richard M.},
  title =               {Reducibility Among Combinatorial Problems},
  editor =              {Miller, Raymond E. and Thatcher, James W.},
  booktitle =           {{P}roceedings of a symposium on the Complexity of
                         Computer Computations ({CCC}'72)},
  acronym =             {{CCC}'72},
  publisher =           {Plenum Press},
  series =              {IBM Research Symposia Series},
  pages =               {85-103},
  year =                {1972},
  month =               mar,
}

@inproceedings{focs1972-MS,
  author =              {Meyer, Albert R. and Stockmeyer, Larry J.},
  title =               {The Equivalence Problem for Regular Expressions with
                         Squaring Requires Exponential Space},
  booktitle =           {{P}roceedings of the 13th {A}nnual {S}ymposium on
                         {F}oundations of {C}omputer {S}cience ({FOCS}'72)},
  acronym =             {{FOCS}'72},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {125-129},
  year =                {1972},
  month =               oct,
}

@book{AIOCT1972-Rab,
  author =              {Rabin, Michael O.},
  title =               {Automata on infinite objects and {C}hurch's thesis},
  publisher =           {American Mathematical Society},
  series =              {Regional Conference Series in Mathematics},
  number =              {13},
  year =                {1972},
}

@article{siamcomp1(2)-Tar,
  author =              {Tarjan, Robert Endre},
  title =               {Depth-first search and linear graph algorithms},
  publisher =           {Society for Industrial and Applied Math.},
  journal =             {SIAM Journal on Computing},
  volume =              {1},
  number =              {2},
  pages =               {146-160},
  year =                {1972},
  month =               jun,
}

@inproceedings{stoc1971-Coo,
  author =              {Cook, Stephen A.},
  title =               {The complexity of Theorem Proving Procedures},
  booktitle =           {{P}roceedings of the 3rd {A}nnual {ACM} {S}ymposium
                         on the {T}heory of {C}omputing ({STOC}'71)},
  acronym =             {{STOC}'71},
  publisher =           {ACM Press},
  pages =               {151-158},
  year =                {1971},
}

@article{ipl1(2)-Mun,
  author =              {Munro, J. Ian},
  title =               {Efficient Determination of the Transitive Closure of
                         a Directed Graph},
  publisher =           {Elsevier},
  journal =             {Information Processing Letters},
  volume =              {1},
  number =              {2},
  pages =               {56-58},
  year =                {1971},
  month =               jun,
}

@article{theoria36(3)-Fine,
  author =              {Fine, Kit},
  title =               {Propositional quantifiers in modal logic},
  publisher =           {John Wiley \& Sons},
  journal =             {Theoria},
  volume =              {36},
  number =              {3},
  pages =               {336-346},
  year =                {1970},
  month =               dec,
  doi =                 {10.1111/j.1755-2567.1970.tb00432.x},
}

@inproceedings{smlfst1970-Rab,
  author =              {Rabin, Michael O.},
  title =               {Weakly definable relations and special automata},
  editor =              {Bar{-}Hillel, Yehoshua},
  booktitle =           {{P}roceedings of the {S}ymposium on {M}athematical
                         {L}ogic and {F}oundations of {S}et {T}heory
                         ({SMLFST}'70)},
  acronym =             {{SMLFST}'70},
  publisher =           {North-Holland},
  pages =               {1-23},
  year =                {1970},
}

@article{jcss4(2)-Sav,
  author =              {Savitch, Walter},
  title =               {Relationships between nondeterministic and
                         deterministic tape complexities},
  publisher =           {Academic Press},
  journal =             {Journal of Computer and System Sciences},
  volume =              {4},
  number =              {2},
  pages =               {177-192},
  year =                {1970},
  month =               apr,
  doi =                 {10.1016/S0022-0000(70)80006-X},
}

@article{TAMS138-BL,
  author =              {B{\"u}chi, Julius R. and Landweber, Lawrence H.},
  title =               {Solving Sequential Conditions by Finite-State
                         Strategies},
  publisher =           {American Mathematical Society},
  journal =             {Transactions of the American Mathematical Society},
  volume =              {138},
  pages =               {295-311},
  year =                {1969},
  month =               apr,
}

@article{cacm12(10)-Hoa,
  author =              {Hoare, Charles Antony Richard},
  title =               {An axiomatic basis for computer programming},
  publisher =           {ACM Press},
  journal =             {Communications of the ACM},
  volume =              {12},
  number =              {10},
  pages =               {576-580},
  year =                {1969},
  month =               oct,
  doi =                 {10.1145/363235.363259},
}

@article{TAMS141-Rab,
  author =              {Rabin, Michael O.},
  title =               {Decidability of Second-Order Theories and Automata
                         on Infinite Trees},
  publisher =           {American Mathematical Society},
  journal =             {Transactions of the American Mathematical Society},
  volume =              {141},
  pages =               {1-35},
  year =                {1969},
  month =               jul,
}

@inproceedings{ijcai1969-WL,
  author =              {Waldinger, Richard J. and Lee, Richard C. T.},
  title =               {{PROW}: a~step towards automatic program writing},
  editor =              {Walker, Donald E. and Norton, Lewis M.},
  booktitle =           {{P}roceedings of the 1st {I}nternational {J}oint
                         {C}onference on {A}rtificial {I}ntelligence
                         ({IJCAI}'69)},
  acronym =             {{IJCAI}'69},
  publisher =           {William Kaufmann Inc.},
  pages =               {241-252},
  year =                {1969},
  month =               may,
}

@article{tssc4(2)-HNR,
  author =              {Hart, Peter E. and Nilsson, Nils J. and Raphael,
                         Bertram},
  title =               {A~Formal Basis for the Heuristic Determination of
                         Minimum Cost Paths},
  publisher =           {IEEE},
  journal =             {IEEE Transactions on Systems Science and
                         Cybernetics},
  volume =              {4},
  number =              {2},
  pages =               {100-107},
  year =                {1968},
  month =               jul,
  doi =                 {10.1109/TSSC.1968.300136},
}

@phdthesis{phd-kamp,
  author =              {Kamp, Johan Anthony Willem},
  title =               {Tense Logic and the Theory of Linear Order},
  year =                {1968},
  school =              {Computer Science Department, University of
                         California at Los~Angeles, USA},
  type =                {{PhD} thesis},
}

@book{Prior-1968,
  author =              {Prior, Arthur N.},
  title =               {Papers on Time and Tense},
  publisher =           {Oxford University Press},
  year =                {1968},
}

@inproceedings{focs1967-BH,
  author =              {Blum, Manuel and Hewitt, Carl},
  title =               {Automata on a 2-Dimensional Tape},
  booktitle =           {{P}roceedings of the 8th {A}nnual {S}ymposium on
                         {F}oundations of {C}omputer {S}cience ({FOCS}'67)},
  acronym =             {{FOCS}'67},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {155-160},
  year =                {1967},
  month =               oct,
}

@incollection{thgraph-DBR67,
  author =              {Dantzig, George B. and Blattner, W. O. and Rao, M.
                         R.},
  title =               {Finding a Cycle in a Graph with Minimum Cost to Time
                         Ratio with Application to a Ship Routing Problem},
  editor =              {Rosenstiehl, Pierre},
  booktitle =           {Theory of Graphs},
  publisher =           {Gordon and Breach Science Publishers},
  pages =               {77-84},
  year =                {1967},
}

@article{ms14(3)-Har,
  author =              {Harsanyi, John C.},
  title =               {Games with incomplete information played by
                         {"}{B}ayesian{"} players~-- (I)~The~basic model},
  journal =             {Management Science},
  volume =              {14},
  number =              {3},
  pages =               {159-182},
  year =                {1967},
  month =               nov,
}

@book{cfim1967-Min,
  author =              {Minsky, Marvin L.},
  title =               {Computation: Finite and Infinite Machines},
  booktitle =           {Computation: Finite and Infinite Machines},
  publisher =           {Prentice Hall, Inc.},
  year =                {1967},
}

@book{Prior-1967,
  author =              {Prior, Arthur N.},
  title =               {Past, Present and Future},
  publisher =           {Oxford University Press},
  year =                {1967},
}

@book{ToG-Ros67,
  title =               {Theory of Graphs},
  editor =              {Rosenstiehl, Pierre},
  booktitle =           {Theory of Graphs},
  publisher =           {Gordon and Breach Science Publishers},
  year =                {1967},
}

@article{pjm16(2)-GS,
  author =              {Ginsburg, Seymour and Spanier, Edwin},
  title =               {Semigroups, {P}resburger formulas, and languages},
  journal =             {Pacific Journal of Mathematics},
  volume =              {16},
  number =              {2},
  pages =               {285-296},
  year =                {1966},
  month =               dec,
}

@article{icont9(6)-Mcn,
  author =              {McNaughton, Robert},
  title =               {Testing and Generating Infinite Sequences by a
                         Finite Automaton},
  publisher =           {Academic Press},
  journal =             {Information and Control},
  volume =              {9},
  number =              {6},
  pages =               {521-530},
  year =                {1966},
  month =               dec,
}

@article{mfc14(3)-Cer,
  author =              {{\v{C}}ern{\'y}, J{\'a}n},
  title =               {Pozn{\'a}mka k homog{\'e}nnym experimentom s
                         kone{\v{c}}n{\'y}mi automatmi},
  journal =             {Matematicko-fyzik{\'a}lny {\v{c}}asopis},
  volume =              {14},
  number =              {3},
  pages =               {208-216},
  year =                {1964},
}

@inproceedings{icm1962-Chu,
  author =              {Church, Alonzo},
  title =               {Logic, arithmetic, and automata},
  booktitle =           {{P}roceedings of the {I}nternational {C}ongress of
                         {M}athematicians ({ICM}'62)},
  acronym =             {{ICM}'62},
  pages =               {23-35},
  year =                {1963},
  confyear =            {1962},
  confmonth =           {8},
}

@article{apf16()-Kri,
  author =              {Kripke, Saul A.},
  title =               {Semantical Considerations on Modal Logic},
  publisher =           {Philosophical Society of Finland},
  journal =             {Acta Philosophica Fennica},
  volume =              {16},
  pages =               {83-94},
  year =                {1963},
}

@article{zml9(5-6)-Kri,
  author =              {Kripke, Saul A.},
  title =               {Semantical Analysis of Modal Logic~{I}: Normal Modal
                         Propositional Calculi},
  publisher =           {Deutscher Verlag der Wissenschaften},
  journal =             {Zeitschrift fur mathematische Logik und Grundlagen
                         der Mathematik},
  volume =              {9},
  number =              {5-6},
  pages =               {67-96},
  year =                {1963},
}

@article{danSSSR150(3)-Too,
  author =              {Toom, Andrei L.},
  title =               {The complexity of a scheme of functional elements
                         realizing the multiplication of integers},
  publisher =           {Russian Academy of Sciences},
  journal =             {Doklady Akademii Nauk SSSR},
  volume =              {150},
  number =              {3},
  pages =               {496-498},
  year =                {1963},
}

@inproceedings{lmps1960-Buc,
  author =              {B{\"u}chi, Julius R.},
  title =               {On a Decision Method in Restricted Second Order
                         Arithmetic},
  editor =              {Nagel, Ernest and Suppes, Patrick and Tarski,
                         Alfred},
  booktitle =           {{P}roceedings of the 1960 {I}nternational {C}ongress
                         on {L}ogic, {M}ethodology and {P}hilosophy of
                         {S}cience ({LMPS}'60)},
  acronym =             {{LMPS}'60},
  publisher =           {Stanford University Press},
  pages =               {1-11},
  year =                {1962},
  month =               jun,
  confyear =            {1960},
}

@phdthesis{phd-petri,
  author =              {Petri, Carl Adam},
  title =               {Kommunikation mit Automaten},
  year =                {1962},
  school =              {Darmstadt University of Technology, Germany},
}

@article{jacm9(1)-War,
  author =              {Warshall, Stephen},
  title =               {A~Theorem on Boolean Matrices},
  publisher =           {ACM Press},
  journal =             {Journal of the~ACM},
  volume =              {9},
  number =              {1},
  pages =               {11-12},
  year =                {1962},
  month =               jan,
  doi =                 {10.1145/321105.321107},
}

@article{fundm49-Ehr,
  author =              {Ehrenfeucht, Andrzej},
  title =               {An Application of Games to the Completeness Problem
                         for Formalized Theories},
  publisher =           {Institute of Mathematics, Polish Academy of Science},
  journal =             {Fundamenta Mathematicae},
  volume =              {49},
  pages =               {129-141},
  year =                {1961},
}

@inproceedings{sofm1959-Hen,
  author =              {Henkin, Leon},
  title =               {Some Remarks on Infinitely Long Formulas},
  booktitle =           {{I}nfinitistic {M}ethods~-- {P}roceedings of the
                         {S}ymposium on {F}oundations of {M}athematics},
  publisher =           {Pergamon Press},
  pages =               {167-183},
  year =                {1961},
  confyear =            {1959},
  confmonth =           {9},
}

@article{am74(3)-Min,
  author =              {Minsky, Marvin L.},
  title =               {Recursive Unsolvability of {P}ost's Problem of
                         {"}Tag{"} and other Topics in Theory of {T}uring
                         Machines},
  publisher =           {Princeton University Press},
  journal =             {Annals of Mathematics},
  volume =              {74},
  number =              {3},
  pages =               {437-455},
  year =                {1961},
  month =               nov,
}

@article{icont4(2-3)-Sch,
  author =              {Sch{\"u}tzenberger, Marcel-Paul},
  title =               {On the Definition of a Family of Automata},
  publisher =           {Academic Press},
  journal =             {Information and Control},
  volume =              {4},
  number =              {2-3},
  pages =               {245-270},
  year =                {1961},
  month =               sep,
}

@inproceedings{sisl1957-Chu,
  author =              {Church, Alonzo},
  title =               {Applications of recursive arithmetic to the problem
                         of circuit synthesis},
  booktitle =           {{S}ummaries of the {S}ummer {I}nstitute of
                         {S}ymbolic {L}ogic~-- Volume~1},
  publisher =           {Institute for Defense Analyses},
  pages =               {3-50},
  year =                {1960},
  confyear =            {1957},
}

@article{nm1()-Dij,
  author =              {Dijkstra, Edsger W.},
  title =               {A~note on two problems in connexion with graphs},
  publisher =           {Springer-Verlag},
  journal =             {Numerische Mathematik},
  volume =              {1},
  pages =               {269-271},
  year =                {1959},
  doi =                 {10.1007/BF01386390},
}

@article{jsl24(1)-Kri,
  author =              {Kripke, Saul A.},
  title =               {A Completeness Theorem in Modal Logic},
  publisher =           {Association for Symbolic Logic},
  journal =             {Journal of Symbolic Logic},
  volume =              {24},
  number =              {1},
  pages =               {1-14},
  year =                {1959},
  month =               mar,
}

@article{IBM-JRD3-She,
  author =              {Shepherdson, John C.},
  title =               {The Reduction of Two-Way Automata to One-Way
                         Automata},
  journal =             {IBM Journal of Research and Development},
  volume =              {3},
  pages =               {198-200},
  year =                {1959},
  month =               apr,
}

@article{qam16(1)-Bel,
  author =              {Bellman, Richard},
  title =               {On a Routing Problem},
  journal =             {Quarterly of Applied Mathematics},
  volume =              {16},
  number =              {1},
  pages =               {87-90},
  year =                {1958},
}

@article{jacm5(3)-Gin,
  author =              {Ginsburg, Seymour},
  title =               {On~the Length of the Smallest Uniform Experiment
                         which Distinguishes the Terminal States of a
                         Machine},
  publisher =           {ACM Press},
  journal =             {Journal of the~ACM},
  volume =              {5},
  number =              {3},
  pages =               {266-280},
  year =                {1958},
  month =               jul,
  doi =                 {10.1145/320932.320938},
}

@book{DP-Bel,
  author =              {Bellman, Richard},
  title =               {Dynamic Programming},
  publisher =           {Princeton University Press},
  year =                {1957},
}

@book{Prior-1957,
  author =              {Prior, Arthur N.},
  title =               {Time and Modality},
  publisher =           {Oxford University Press},
  year =                {1957},
}

@incollection{am34-Moo,
  author =              {Moore, Edward F.},
  title =               {Gedanken-Experiments on Sequential Machines},
  editor =              {Shannon, Claude E. and McCarthy, John},
  booktitle =           {Automata Studies},
  publisher =           {Princeton University Press},
  series =              {Annals of Mathematics Studies},
  volume =              {34},
  pages =               {129-153},
  year =                {1956},
  doi =                 {10.1515/9781400882618-006},
}

@article{pjm5(2)-Tar,
  author =              {Tarski, Alfred},
  title =               {A Lattice-Theoretical Fixpoint Theorem and its
                         Applications},
  journal =             {Pacific Journal of Mathematics},
  volume =              {5},
  number =              {2},
  pages =               {285-309},
  year =                {1955},
}

@article{pnas39(10)-Sha,
  author =              {Shapley, Lloyd S.},
  title =               {Stochastic games},
  publisher =           {National Academy of Sciences of the United States of
                         America},
  journal =             {Proceedings of the National Academy of Sciences},
  volume =              {39},
  number =              {10},
  pages =               {1095-1100},
  year =                {1953},
  month =               oct,
  doi =                 {10.1073/pnas.39.10.1095},
}

@article{plms-s3-2(1)-Hig,
  author =              {Higman, Graham},
  title =               {Ordering by Divisibility in Abstract Algebras},
  journal =             {Proceedings of the London Mathematical Society},
  volume =              {s3-2},
  number =              {1},
  pages =               {326-336},
  year =                {1952},
}

@article{gsab63(11)-Str,
  author =              {Strahler, Arthur N.},
  title =               {Hypsometric (area-altitude) analysis of erosional
                         topography},
  publisher =           {Geological Society of America},
  journal =             {Geological Society of America Bulletin},
  volume =              {63},
  number =              {11},
  pages =               {1117-1142},
  year =                {1952},
  month =               nov,
  doi =                 {10.1130/0016-7606(1952)63[1117:HAAOET]2.0.CO;2},
}

@article{pice1(3)-War,
  author =              {Wardrop, John Glen},
  title =               {Some theoretical aspects of road traffic research},
  journal =             {Proceedings of the Institution of Civil Engineers},
  volume =              {1},
  number =              {3},
  pages =               {325-362},
  year =                {1952},
  month =               may,
  doi =                 {10.1680/ipeds.1952.11259},
}

@article{am54(2)-Nash,
  author =              {Nash, Jr., John F.},
  title =               {Non-cooperative Games},
  publisher =           {Princeton University Press},
  journal =             {Annals of Mathematics},
  volume =              {54},
  number =              {2},
  pages =               {286-295},
  year =                {1951},
  month =               sep,
}

@article{pnas36(1)-Nash,
  author =              {Nash, Jr., John F.},
  title =               {Equilibrium Points in {\(n\)}-Person Games},
  publisher =           {National Academy of Sciences of the United States of
                         America},
  journal =             {Proceedings of the National Academy of Sciences},
  volume =              {36},
  number =              {1},
  pages =               {48-49},
  year =                {1950},
  month =               jan,
}

@book{MvN-game1947,
  author =              {Morgenstern, Oskar and von~Neumann, John},
  title =               {The Theory of Games and Economic Behavior},
  publisher =           {Princeton University Press},
  year =                {1947},
}

@article{gsab56(3)-Hor,
  author =              {Horton, Robert E.},
  title =               {Erosional development of streams and their drainage
                         basins; hydrophysical approach to quantitative
                         morphology},
  publisher =           {Geological Society of America},
  journal =             {Geological Society of America Bulletin},
  volume =              {56},
  number =              {3},
  pages =               {275-370},
  year =                {1945},
  month =               mar,
  doi =                 {10.1130/0016-7606(1945)56[275:EDOSAT]2.0.CO;2},
}

@article{plms-s2-43(6)-Tur,
  author =              {Turing, Alan M.},
  title =               {On~computable numbers, with an application to the
                         {\emph{Entscheidungsproblem}}. A~Correction},
  journal =             {Proceedings of the London Mathematical Society},
  volume =              {s2-43},
  number =              {6},
  pages =               {544-546},
  year =                {1938},
  doi =                 {10.1112/plms/s2-43.6.544},
}

@article{plms-s2-42(1)-Tur,
  author =              {Turing, Alan M.},
  title =               {On~computable numbers, with an application to the
                         {\emph{Entscheidungsproblem}}},
  journal =             {Proceedings of the London Mathematical Society},
  volume =              {s2-42},
  number =              {1},
  pages =               {230-265},
  year =                {1937},
  doi =                 {10.1112/plms/s2-42.1.230},
}

@article{aspm6()-Kna,
  author =              {Knaster, Bronis{\l}aw},
  title =               {Un th{\'e}or{\`e}me sur les fonctions d'ensembles},
  publisher =           {Polish Mathematical Society},
  journal =             {Annales de la Soci\'et\'e Polonaise de
                         Math\'ematiques},
  volume =              {6},
  pages =               {133-134},
  year =                {1928},
}

@article{actaszeged3(2-3)-Kon,
  author =              {K{\H o}nig, D{\'e}nes},
  title =               {{\"U}ber eine Schlussweise aus dem Endlichen ins
                         Unendliche},
  publisher =           {J{\'a}nos Bolyai Mathematical Institute, University
                         of Szeged},
  journal =             {Acta litt. sci. Reg. Univ. Hung.
                         Francisco-Josephinae, Sect. sci. math.},
  volume =              {3},
  number =              {2-3},
  pages =               {121-130},
  year =                {1927},
  month =               jun,
}

@book{Pigou1920,
  author =              {Pigou, Arthur C.},
  title =               {The~economics of welfare},
  publisher =           {MacMillan and Co.},
  year =                {1920},
}

@article{am3(1-4)-Bou,
  author =              {Bouton, Charles L.},
  title =               {Nim, a~game with a complete mathematical theory},
  publisher =           {Princeton University Press},
  journal =             {Annals of Mathematics},
  volume =              {3},
  number =              {1-4},
  pages =               {35-39},
  year =                {1901},
}