@article(Aho68,
 author       = {A. V. Aho},
 year         = {1968},
 title        = {Indexed Grammars - An Extension of Context-Free Grammars},
 journal      = {J. ACM},
 volume       = {15},
 number       = {4},
 pages        = {647--671},
 doi          = {10.1145/321479.321488},
)
@inproceedings(STOC04:202,
 author       = {R. Alur and P. Madhusudan},
 year         = {2004},
 title        = {Visibly pushdown languages},
 booktitle    = {Proc.\ 36th Ann.\ {ACM} Symp.\ on Theory of Computing, {STOC'04}},
 publisher    = {ACM Press},
 address      = {New York},
 pages        = {202--211},
 doi          = {10.1145/1007352.1007390},
)
@inproceedings(la-reachpdl:2011,
 author       = {R. Axelsson and M. Lange},
 year         = {2011},
 title        = {Formal Language Constrained Reachability and Model Checking Propositional Dynamic Logics},
 booktitle    = {Proc.\ 5th Workshop on Reachability Problems, {RP'11}},
 series       = {LNCS},
 volume       = {6945},
 publisher    = {Springer},
 pages        = {45--57},
 doi          = {10.1007/978-3-642-24288-5\_6},
)
@article(als-mchfl07,
 author       = {R. Axelsson and M. Lange and R. Somla},
 year         = {2007},
 title        = {The Complexity of Model Checking Higher-Order Fixpoint Logic},
 journal      = {Logical Methods in Computer Science},
 volume       = {3},
 pages        = {1--33},
 doi          = {10.2168/LMCS-3(2:7)2007},
)
@inproceedings(conf/time/BruseL20,
 author       = {F. Bruse and M. Lange},
 year         = {2020},
 title        = {Temporal Logic with Recursion},
 booktitle    = {Proc.\ 27th Int.\ Symp.\ on Temporal Representation and Reasoning, {TIME'20}},
 series       = {LIPIcs},
 volume       = {178},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik},
 pages        = {6:1--6:14},
 doi          = {10.4230/LIPIcs.TIME.2020.6},
)
@inproceedings(conf/concur/BruseL21,
 author       = {F. Bruse and M. Lange},
 year         = {2021},
 title        = {A Decidable Non-Regular Modal Fixpoint Logic},
 booktitle    = {Proc.\ 32nd Int.\ Conf.\ on Concurrency Theory, {CONCUR'21}},
 series       = {LIPIcs},
 volume       = {203},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik},
 pages        = {23:1--23:18},
 doi          = {10.4230/LIPIcs.CONCUR.2021.23},
)
@article(BruseLL21,
 author       = {F. Bruse and M. Lange and {\'E}. Lozes},
 year         = {2021},
 title        = {The Complexity of Model Checking Tail-Recursive Higher-Order Fixpoint Logic},
 journal      = {Fundamenta Informaticae},
 volume       = {178},
 number       = {1--2},
 pages        = {1--30},
 doi          = {10.3233/FI-2021-1996},
)
@article(JACM::Brzozowski64,
 author       = {J. A. Brzozowski},
 year         = {1964},
 title        = {Derivatives of Regular Expressions},
 journal      = {J. of the ACM},
 volume       = {11},
 number       = {4},
 pages        = {481--494},
 doi          = {10.1145/321239.321249},
)
@inproceedings(ClEm81,
 author       = {E. M. Clarke and E. A. Emerson},
 year         = {1981},
 title        = {Design and Synthesis of Synchronization Skeletons using Branching Time Temporal Logic},
 editor       = {D. Kozen},
 booktitle    = {Proc.\ Workshop on Logics of Programs},
 series       = {LNCS},
 volume       = {131},
 publisher    = {Springer},
 address      = {Yorktown Heights, New York},
 pages        = {52--71},
 doi          = {10.1007/BFb0025774},
)
@article(Fischer79,
 author       = {M. J. Fischer and R. E. Ladner},
 year         = {1979},
 title        = {Propositional Dynamic Logic of Regular Programs},
 journal      = {Journal of Computer and System Sciences},
 volume       = {18},
 number       = {2},
 pages        = {194--211},
 doi          = {10.1016/0022-0000(79)90046-1},
)
@article(JCSS::HarelPS1983,
 author       = {D. Harel and A. Pnueli and J. Stavi},
 year         = {1983},
 title        = {Propositional Dynamic Logic of Nonregular Programs},
 journal      = {Journal of Computer and System Sciences},
 volume       = {26},
 number       = {2},
 pages        = {222--243},
 doi          = {10.1016/0022-0000(83)90014-4},
)
@article(Kozen83,
 author       = {D. Kozen},
 year         = {1983},
 title        = {Results on the Propositional $\mu$-calculus},
 journal      = {TCS},
 volume       = {27},
 pages        = {333--354},
 doi          = {10.1016/0304-3975(82)90125-6},
)
@article(lange-mcpdl,
 author       = {M. Lange},
 year         = {2005},
 title        = {Model Checking Propositional Dynamic Logic with All Extras},
 journal      = {Journal of Applied Logic},
 volume       = {4},
 number       = {1},
 pages        = {39--49},
 doi          = {10.1016/j.jal.2005.08.002},
)
@article(lange:3mcflc:06,
 author       = {M. Lange},
 year         = {2007},
 title        = {Three Notes on the Complexity of Model Checking Fixpoint Logic with Chop},
 journal      = {R.A.I.R.O. -- Theoretical Informatics and Applications},
 volume       = {41},
 pages        = {177--190},
 doi          = {10.1051/ita:2007011},
)
@article(langesomla-ipl06,
 author       = {M. Lange and R. Somla},
 year         = {2006},
 title        = {Propositional Dynamic Logic of Context-Free Programs and Fixpoint Logic with Chop},
 journal      = {Information Processing Letters},
 volume       = {100},
 number       = {2},
 pages        = {72--75},
 doi          = {10.1016/j.ipl.2006.04.019},
)
@article(journals/jlp/LodingLS07,
 author       = {C. L{\"o}ding and C. Lutz and O. 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       = {C. L{\"o}ding and P. Madhusudan and O. 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},
)
@inproceedings(Mehlhorn/80,
 author       = {K. Mehlhorn},
 year         = {1980},
 title        = {Pebbling mountain ranges and its application to {DCFL}-recognition},
 booktitle    = {Proc.\ 7th Int.\ Coll.\ on Automata, Languages and Programming, {ICALP'80}},
 series       = {LNCS},
 volume       = {85},
 publisher    = {Springer},
 pages        = {422--435},
 doi          = {10.1007/3-540-10003-2\_89},
)
@inproceedings(Mueller-Olm:1999:MFL,
 author       = {M{\"u}ller-Olm, M.},
 year         = {1999},
 title        = {A Modal Fixpoint Logic with Chop},
 booktitle    = {Proc.\ 16th Symp.\ on Theoretical Aspects of Computer Science, {STACS'99}},
 series       = {LNCS},
 volume       = {1563},
 publisher    = {Springer},
 pages        = {510--520},
 doi          = {10.1007/3-540-49116-3\_48},
)
@article(JACM::Parikh66,
 author       = {R. J. Parikh},
 year         = {1966},
 title        = {On Context-Free Languages},
 journal      = {J. of the ACM},
 volume       = {13},
 number       = {4},
 pages        = {570--581},
 doi          = {10.1145/321356.321364},
)
@inproceedings(Pnueli:1977,
 author       = {A. Pnueli},
 year         = {1977},
 title        = {The temporal logic of programs},
 booktitle    = {Proc. 18th Symp. on Foundations of Computer Science, {FOCS'77}},
 publisher    = {IEEE},
 address      = {Providence, RI, USA},
 pages        = {46--57},
 doi          = {10.1109/SFCS.1977.32},
)
@article(Rabin:Scott:ibmjrd:1959,
 author       = {M. Rabin and D. Scott},
 year         = {1959},
 title        = {Finite automata and their decision problems},
 journal      = {IBM Journal of Research and Development},
 volume       = {3},
 pages        = {114--125},
 doi          = {10.1147/rd.32.0114},
)
@article(Tars55,
 author       = {A. Tarski},
 year         = {1955},
 title        = {A Lattice-theoretical Fixpoint Theorem and its Application},
 journal      = {Pacific Journal of Mathematics},
 volume       = {5},
 pages        = {285--309},
 doi          = {10.2140/pjm.1955.5.285},
)
@inproceedings(conf/lics/TorreMP07,
 author       = {S. La Torre and P. Madhusudan and G. Parlato},
 year         = {2007},
 title        = {A Robust Class of Context-Sensitive Languages},
 booktitle    = {Proc.\ 22nd Conf.\ on Logic in Computer Science, {LICS'07}},
 publisher    = {IEEE},
 pages        = {161--170},
 doi          = {10.1109/LICS.2007.9},
)
@inproceedings(viswan:hfl:2004,
 author       = {M. Viswanathan and R. Viswanathan},
 year         = {2004},
 title        = {A Higher Order Modal Fixed Point Logic},
 booktitle    = {Proc.\ 15th Int.\ Conf.\ on Concurrency Theory, {CONCUR'04}},
 series       = {LNCS},
 volume       = {3170},
 publisher    = {Springer},
 pages        = {512--528},
 doi          = {10.1007/978-3-540-28644-8\_33},
)