@phdthesis(IB-B941065,
 author       = "H. R. Andersen",
 year         = "1993",
 title        = "Verification of Temporal Properties of Concurrent Systems",
 address      = "Dept.\ of Computer Science, University of Aarhus, DK",
)
@inproceedings(al-lpar07,
 author       = "R. Axelsson and M. Lange",
 year         = "2007",
 title        = "Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic",
 booktitle    = "Proc.\ 14th Int.\ Conf.\ on Logic for Programming, Artificial Intelligence, and Reasoning, {LPAR'07}",
 series       = "LNCS",
 volume       = "4790",
 publisher    = "Springer",
 pages        = "62--76",
 doi          = "10.1007/978-3-540-75560-9\_7",
)
@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",
)
@article(IC::BurchCMDH1992,
 author       = "J. R. Burch and E. M. Clarke and K. L. McMillan and D. L. Dill and L. J. Hwang",
 year         = "1992",
 title        = "Symbolic Model Checking: $10^{20}$ States and Beyond",
 journal      = "Information and Computation",
 volume       = "98",
 number       = "2",
 pages        = "142--170",
 doi          = "10.1016/0890-5401(92)90017-A",
)
@inproceedings(conf/icalp/CleavelandS91,
 author       = "R. Cleaveland and B. Steffen",
 year         = "1991",
 title        = "Computing Behavioural Relations, Logically",
 booktitle    = "Proc. 18th Int.\ Coll.\ on Automata, Languages and Programming, {ICALP'91}",
 series       = "LNCS",
 volume       = "510",
 publisher    = "Springer",
 pages        = "127--138",
 doi          = "10.1007/3-540-54233-7\_129",
)
@incollection(vG01,
 author       = "R. J. van Glabbeek",
 year         = "2001",
 title        = "The Linear Time -- Branching Time Spectrum {I}; The Semantics of Concrete, Sequential Processes",
 booktitle    = "Handbook of Process Algebra",
 chapter      = "1",
 publisher    = "Elsevier",
 pages        = "3--99",
 doi          = "10.1016/B978-044482830-9/50019-9",
)
@techreport(ncstrl.albany_cs//SUNYA-CS-96-03,
 author       = "H. H\"{u}ttel and S. Shukla",
 year         = "1996",
 title        = "On the Complexity of Deciding Behavioural Equivalences and Preorders",
 type         = "Technical Report",
 number       = "SUNYA-CS-96-03",
 institution  = "State University of New York at Albany",
)
@inproceedings(Jorgensen94-0:confs,
 author       = "N. J{\o }rgensen",
 year         = "1994",
 title        = "Finding Fixpoints in Finite Function Spaces using Neededness Analysis and Chaotic Iteration",
 booktitle    = "Proc.\ 1st Int.\ Static Analysis Symposium, {SAS'94}",
 series       = "LNCS",
 volume       = "864",
 publisher    = "Springer",
 pages        = "329--345",
 doi          = "10.1007/3-540-58485-4\_50",
)
@article(IC::KanellakisS1990,
 author       = "P. C. Kanellakis and S. A. Smolka",
 year         = "1990",
 title        = "{CCS} Expressions, Finite State Processes, and Three Problems of Equivalence",
 journal      = "Information and Computation",
 volume       = "86",
 number       = "1",
 pages        = "43--68",
 doi          = "10.1016/0890-5401(90)90025-D",
)
@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",
)
@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.6",
)
@article(Otto99,
 author       = "M. Otto",
 year         = "1999",
 title        = "Bisimulation-invariant PTIME and higher-dimensional $\mu $-calculus",
 journal      = "Theor. Comput. Sci.",
 volume       = "224",
 number       = "1-2",
 pages        = "237--265",
 doi          = "10.1016/S0304-3975(98)00314-4",
)
@inproceedings(conf/cav/ShuklaHR96,
 author       = "S. K. Shukla and H. B. Hunt III and D. J. Rosenkrantz",
 year         = "1996",
 title        = "{HORNSAT}, Model Checking, Verification and games (Extended Abstract)",
 booktitle    = "8th Int.\ Conf.\ on Computer Aided Verification, {CAV'96}",
 series       = "LNCS",
 volume       = "1102",
 publisher    = "Springer",
 pages        = "99--110",
 doi          = "10.1007/3-540-61474-5\_61",
)
@book(Stirling01,
 author       = "C. Stirling",
 year         = "2001",
 title        = "Modal and Temporal Properties of Processes",
 series       = "Texts in Computer Science",
 publisher    = "Springer",
)
@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",
)
@inproceedings(ViswanathanV04,
 author       = "M. Viswanathan and R. Viswanathan",
 year         = "2004",
 title        = "A Higher Order Modal Fixed Point Logic",
 editor       = "Ph. Gardner and N. Yoshida",
 booktitle    = "CONCUR",
 series       = "Lecture Notes in Computer Science",
 volume       = "3170",
 publisher    = "Springer",
 pages        = "512--528",
 doi          = "10.1007/978-3-540-28644-8\_33",
)