@inproceedings(Abiteboul87a,
 author       = {S. Abiteboul and V. Vianu},
 year         = {1987},
 title        = {A Transaction Language Complete for Database Update and Specification},
 booktitle    = {Proc.\ ACM SIGACT-SIGMOD Symp.\ on Principles of Database Systems},
 address      = {San Diego, CA},
 pages        = {260--268},
 doi          = {10.1145/28659.28688},
)
@techreport(AndersenPMC:1994,
 author       = {H. R. Andersen},
 year         = {1994},
 title        = {A Polyadic Modal {$\mu$}-Calculus},
 type         = {Technical Report},
 number       = {ID-TR: 1994-195},
 institution  = {Dept.\ of Computer Science, Technical University of Denmark, Copenhagen},
 doi          = {10.1.1.42.1859},
)
@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/rp/BruseLL17,
 author       = {F. Bruse and M. Lange and {\'{E}}. Lozes},
 year         = {2017},
 title        = {Space-Efficient Fragments of Higher-Order Fixpoint Logic},
 booktitle    = {Proc.\ 11th Int.\ Workshop on Reachability Problems, {RP'17}},
 series       = {LNCS},
 volume       = {10506},
 pages        = {26--41},
 doi          = {10.1007/978-3-319-67089-8\_3},
)
@article(Fagin74,
 author       = {R. Fagin},
 year         = {1974},
 title        = {Generalized First-Order Spectra and Polynomial-Time Recognizable Sets},
 journal      = {Complexity and Computation},
 volume       = {7},
 pages        = {43--73},
)
@inproceedings(FREIRE201171,
 author       = {C. M. Freire and A. T. Martins},
 year         = {2011},
 title        = {The Descriptive Complexity of the Deterministic Exponential Time Hierarchy},
 booktitle    = {Proc.\ 5th Workshop on Logical and Semantic Frameworks with Applications, {LSFA'10}},
 volume       = {269},
 pages        = {71--82},
 doi          = {10.1016/j.entcs.2011.03.006},
)
@inproceedings(DBLP:conf/lics/Grohe08,
 author       = {M. Grohe},
 year         = {2008},
 title        = {The Quest for a Logic Capturing {PTIME}},
 booktitle    = {Proc.\ 23rd Annual IEEE Symp.\ on Logic in Computer Science, {LICS'08}},
 publisher    = {{IEEE} Computer Society},
 pages        = {267--271},
 doi          = {10.1109/LICS.2008.11},
)
@article(DBLP:journals/iandc/Immerman86,
 author       = {N. Immerman},
 year         = {1986},
 title        = {Relational Queries Computable in Polynomial Time},
 journal      = {Information and Control},
 volume       = {68},
 number       = {1-3},
 pages        = {86--104},
 doi          = {10.1016/S0019-9958(86)80029-8},
)
@article(Imm:lanccc,
 author       = {N. Immerman},
 year         = {1987},
 title        = {Languages That Capture Complexity Classes},
 journal      = {SIAM Journal of Computing},
 volume       = {16},
 number       = {4},
 pages        = {760--778},
 doi          = {10.1137/0216051},
)
@article(Kleene:1938,
 author       = {S. C. Kleene},
 year         = {1938},
 title        = {On Notation for Ordinal Numbers},
 journal      = {Journal of Symbolic Logic},
 volume       = {3},
 number       = {4},
 pages        = {150--155},
 doi          = {10.2307/2267778},
)
@article(Kna28,
 author       = {B. Knaster},
 year         = {1928},
 title        = {Un th\'eor\`em sur les fonctions d'ensembles},
 journal      = {Annals Soc. Pol. Math},
 volume       = {6},
 pages        = {133--134},
)
@article(Kozen83,
 author       = {D. Kozen},
 year         = {1983},
 title        = {Results on the Propositional $\mu$-calculus},
 journal      = {Theor.\ Comp.\ Sci.},
 volume       = {27},
 pages        = {333--354},
 doi          = {10.1016/0304-3975(82)90125-6},
)
@mastersthesis(KronenbergerMSc19,
 author       = {D. Kronenberger},
 year         = {2018},
 title        = {Capturing Bisimulation-Invariant Complexity Classes by Polyadic Higher-Order Fixpoint Logic},
 school       = {University of Kassel},
)
@inproceedings(LL-FICS12,
 author       = {M. Lange and {\'{E}}. Lozes},
 year         = {2012},
 title        = {Model Checking the Higher-Dimensional Modal $\mu$-Calculus},
 booktitle    = {Proc.\ 8th Workshop on Fixpoints in Computer Science, {FICS'12}},
 series       = {Electr.\ Proc.\ in Theor.\ Comp.\ Sc.},
 volume       = {77},
 pages        = {39--46},
 doi          = {10.4204/EPTCS.77},
)
@inproceedings(conf/ifipTCS/LangeL14,
 author       = {M. Lange and {\'E}. Lozes},
 year         = {2014},
 title        = {Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic},
 booktitle    = {Proc.\ 8th Int.\ {IFIP} Conf.\ on Theoretical Computer Science, {TCS'14}},
 series       = {LNCS},
 volume       = {8705},
 publisher    = {Springer},
 pages        = {90--103},
 doi          = {10.1007/978-3-662-44602-7},
)
@article(LLVG:TCS:2014,
 author       = {M. Lange and {\'{E}}. Lozes and M. Vargas Guzm{\'a}n},
 year         = {2014},
 title        = {Model-Checking Process Equivalences},
 journal      = {Theor.\ Comp.\ Sci.},
 volume       = {560},
 pages        = {326--347},
 doi          = {10.1016/j.tcs.2014.08.020},
)
@article(Otto99,
 author       = {M. Otto},
 year         = {1999},
 title        = {Bisimulation-invariant {PTIME} and higher-dimensional {$\mathrm{\mu}$}-calculus},
 journal      = {Theor.\ Comput.\ Sci.},
 volume       = {224},
 number       = {1-2},
 pages        = {237--265},
 doi          = {10.1016/S0304-3975(98)00314-4},
)
@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},
)
@incollection(vanbenthemdoets:1983a,
 author       = {{van Benthem}, J. and K. Doets},
 year         = {1983},
 title        = {Higher-Order Logic},
 editor       = {D. Gabbay and F. Guenther},
 booktitle    = {Handbook of Philosophical Logic, Volume {I}: Elements of Classical Logic},
 publisher    = {D. Reidel Publishing Co.},
 pages        = {275--329},
 doi          = {10.1007/978-94-009-7066-3_4},
)
@inproceedings(DBLP:conf/stoc/Vardi82,
 author       = {M. Y. Vardi},
 year         = {1982},
 title        = {The Complexity of Relational Query Languages (Extended Abstract)},
 booktitle    = {Proc.\ 14th Symp.\ on Theory of Computing, {STOC'82}},
 publisher    = {ACM},
 address      = {San Francisco, CA, USA},
 pages        = {137--146},
 doi          = {10.1145/800070},
)
@inproceedings(DBLP:conf/concur/ViswanathanV04,
 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},
)