@inproceedings(AM04,
 author       = "Rajeev Alur and Parthasarathy Madhusudan",
 year         = "2004",
 title        = "Visibly pushdown languages",
 booktitle    = "Proc.\ 36th Ann.\ {ACM} Symp.\ on Theory of Computing, {STOC'04}",
 pages        = "202--211",
 doi          = "10.1145/1007352.1007390",
)
@inproceedings(nonregctl_lpar_2010,
 author       = "Roland Axelsson and Matthew Hague and Stephan Kreutzer and Martin Lange and Markus Latte",
 year         = "2010",
 title        = "Extended {C}omputation {T}ree {L}ogic",
 editor       = "Christian Ferm{\"u}ller and Andrei Voronkov",
 booktitle    = "Proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2010, Yogyakarta, Indonesia)",
 series       = "Lecture Notes in Computer Science",
 volume       = "6397",
 publisher    = "Springer",
 pages        = "67--81",
 doi          = "10.1007/978-3-642-16242-8\_6",
)
@article(nonregctl_arxiv_2010,
 author       = "Roland Axelsson and Matthew Hague and Stephan Kreutzer and Martin Lange and Markus Latte",
 year         = "2010",
 title        = "{E}xtended {C}omputation {T}ree {L}ogic",
 journal      = "arXiv.org",
 note         = "Available at \url {http://arxiv.org/abs/1006.3709}",
)
@book(TermRewriting,
 author       = "Franz Baader and Tobias Nipkow",
 year         = "1998",
 title        = "Term Rewriting and All That",
 publisher    = "Cambridge University Press",
)
@article(Berman81,
 author       = "Francine Berman and Michael Paterson",
 year         = "1981",
 title        = "Propositional dynamic logic is weaker without tests",
 journal      = "Theoretical Computer Science",
 volume       = "16",
 number       = "3",
 pages        = "321--328",
 doi          = "10.1016/0304-3975(81)90102-X",
)
@inproceedings(Bojanczyk:commonFragment,
 author       = "Miko{\l }aj Boja\'{n}czyk",
 year         = "2008",
 title        = "The common fragment of {\textsmaller {ACTL}\xspace } and {\textsmaller {LTL}\xspace }",
 booktitle    = "Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures",
 series       = "FOSSACS'08/ETAPS'08",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "172--185",
 doi          = "10.1007/978-3-540-78499-9\_13",
)
@article(EmersonHalpern85,
 author       = "E. Allen Emerson and Joseph Y. Halpern",
 year         = "1985",
 title        = "Decision Procedures and Expressiveness in the Temporal Logic of Branching Time",
 journal      = "Journal of Computer and System Sciences",
 volume       = "30",
 pages        = "1--24",
 doi          = "10.1016/0022-0000(85)90001-7",
)
@article(EmersonHalpern86,
 author       = "E. Allen Emerson and Joseph Y. Halpern",
 year         = "1986",
 title        = "``Sometimes'' and ``Not Never'' Revisited: On Branching versus Linear Time Temporal Logic",
 journal      = "Journal of the ACM",
 volume       = "33",
 pages        = "151--178",
 doi          = "10.1145/4904.4999",
)
@article(FischerLadner79,
 author       = "Michael J. Fischer and Richard E. Ladner",
 year         = "1979",
 title        = "{P}ropositional {D}ynamic {L}ogic of Regular Programs",
 journal      = "Journal of Computer and System Sciences",
 volume       = "18",
 number       = "2",
 pages        = "194--211",
)
@article(GinsburgGreibach:dcfl,
 author       = "Seymour Ginsburg and Sheila Greibach",
 year         = "1966",
 title        = "Deterministic Context Free Languages",
 journal      = "Information and Control",
 volume       = "9",
 number       = "6",
 pages        = "620--648",
 doi          = "10.1016/S0019-9958(66)80019-0",
)
@incollection(HandbookPhil:Harel:DynamicLogic,
 author       = "David Harel",
 year         = "1984",
 title        = "Dynamic Logic",
 editor       = "Dov M. Gabbay and F. Guenthner",
 booktitle    = "Handbook of Philosophical Logic, Vol. II: Extensions of Classical Logic",
 chapter      = "10",
 publisher    = "D. Reidel Publishing Company",
 address      = "Dordrecht, Holland",
 pages        = "497--604",
)
@book(DynamicLogic,
 author       = "David Harel and Dexter Kozen and Jerzy Tiuryn",
 year         = "2000",
 title        = "Dynamic Logic",
 series       = "Foundations of Computing",
 publisher    = "MIT Press",
 address      = "Cambridge, Massachusetts",
)
@article(HarelPnueliStavi83,
 author       = "David Harel and Amir Pnueli and Jonathan Stavi",
 year         = "1983",
 title        = "{P}ropositional {D}ynamic {L}ogic of Nonregular Programs",
 journal      = "Journal of Computer and System Sciences",
 volume       = "26",
 number       = "2",
 pages        = "222--243",
)
@article(HarelRaz90,
 author       = "David Harel and Danny Raz",
 year         = "1990",
 title        = "Deciding properties of nonregular programs",
 journal      = "Foundations of Computer Science, Annual IEEE Symposium on",
 pages        = "652--661",
)
@book(HopcroftUllman79,
 author       = "John E. Hopcroft and Jeffrey D. Ullman",
 year         = "1979",
 title        = "Introduction to Automata Theory, Languages and Computation",
 publisher    = "Addison Wesley",
)
@incollection(LogicsOfPrograms90,
 author       = "Dexter Kozen and Jerzy Tiuryn",
 year         = "1990",
 title        = "Logics of Programs",
 booktitle    = "Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)",
 publisher    = "Elsevier and MIT Press",
 pages        = "789--840",
)
@article(LLS07,
 author       = "Christof L{\"o}ding and Carsten Lutz and Olivier Serre",
 year         = "2007",
 title        = "Propositional dynamic logic with recursive programs",
 journal      = "J. Log. Algebr. Program.",
 volume       = "73",
 number       = "1-2",
 pages        = "51--69",
 doi          = "10.1016/j.jlap.2006.11.003",
)
@inproceedings(conf/fsttcs/LodingMS04,
 author       = "Christof L{\"o}ding and Parthasarathy Madhusudan and Olivier Serre",
 year         = "2004",
 title        = "Visibly Pushdown Games",
 booktitle    = "Proc.\ 24th Int.\ Conf.\ on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS'04}",
 series       = "LNCS",
 volume       = "3328",
 publisher    = "Springer",
 pages        = "408--420",
 doi          = "10.1007/978-3-540-30538-5\_34",
)
@incollection(Rabin:70,
 author       = "Michael O. Rabin",
 year         = "1970",
 title        = "Weakly definable relations and special automata",
 editor       = "Yehoshua Bar-Hillel",
 booktitle    = "Mathematical Logic and Foundations of Set Theory",
 publisher    = "North-Holland",
 address      = "Amsterdam",
 pages        = "1--23",
)
@incollection(StaigerHandbook,
 author       = "Ludwig Staiger",
 year         = "1997",
 title        = "$\omega $-lanugages",
 editor       = "Grzegorz Rozenberg and Arto Salomaa",
 booktitle    = "Handbook of formal languages",
 chapter      = "6",
 volume       = "3: beyond words",
 publisher    = "Springer",
 address      = "New York, NY, USA",
 pages        = "339--387",
)
@article(Streett82,
 author       = "Robert S. Streett",
 year         = "1982",
 title        = "Propositional Dynamic Logic of Looping and Converse is Elementarily Decidable",
 journal      = "Information and Control",
 volume       = "54",
 number       = "1-2",
 pages        = "121--141",
 doi          = "10.1016/S0019-9958(82)91258-X",
)
@incollection(Thomas:InfiniteObjects90,
 author       = "Wolfgang Thomas",
 year         = "1990",
 title        = "Automata On Infinite Objects",
 booktitle    = "Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)",
 publisher    = "Elsevier and MIT Press",
 pages        = "133--191",
)
@article(VardiWolper86,
 author       = "Moshe Y. Vardi and Pierre Wolper",
 year         = "1986",
 title        = "Automata-Theoretic Techniques for Modal Logics of Programs",
 journal      = "Journal of Computer and System Sciences",
 volume       = "32",
 number       = "2",
 pages        = "183--221",
 doi          = "10.1016/0022-0000(86)90026-7",
)