@article(AxelssonLS07,
 author       = {Roland Axelsson and Martin Lange and Rafal Somla},
 year         = {2007},
 title        = {The Complexity of Model Checking Higher-Order Fixpoint Logic},
 journal      = {Logical Methods in Computer Science},
 volume       = {3},
 number       = {2},
 doi          = {10.2168/LMCS-3(2:7)2007},
)
@inproceedings(BroadbentCHS13,
 author       = {Christopher H. Broadbent and Arnaud Carayol and Matthew Hague and Olivier Serre},
 year         = {2013},
 title        = {C-SHORe: a collapsible approach to higher-order verification},
 booktitle    = {{ACM} {SIGPLAN} International Conference on Functional Programming, ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
 pages        = {13--24},
 doi          = {10.1145/2500365.2500589},
)
@incollection(Bruse14,
 author       = {Florian Bruse},
 year         = {2014},
 title        = {Alternating Parity Krivine Automata},
 editor       = {Csuhaj-Varjú, Erzsébet and Martin Dietzfelbinger and Zoltán Ésik},
 booktitle    = {Mathematical Foundations of Computer Science 2014},
 series       = {Lecture Notes in Computer Science},
 volume       = {8634},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {111--122},
 doi          = {10.1007/978-3-662-44522-8\_10},
)
@inproceedings(Cachat03,
 author       = {Thierry Cachat},
 year         = {2003},
 title        = {Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and Parity Games},
 booktitle    = {Automata, Languages and Programming, 30th International Colloquium, {ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings},
 pages        = {556--569},
 doi          = {10.1007/3-540-45061-0\_45},
)
@inproceedings(CarayolS12,
 author       = {Arnaud Carayol and Olivier Serre},
 year         = {2012},
 title        = {Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection},
 booktitle    = {LICS},
 pages        = {165--174},
 doi          = {10.1109/LICS.2012.73},
)
@article(Damm198295,
 author       = {Werner Damm},
 year         = {1982},
 title        = {The IO- and OI-hierarchies},
 journal      = {Theoretical Computer Science},
 volume       = {20},
 number       = {2},
 pages        = {95 -- 207},
 doi          = {10.1016/0304-3975(82)90009-3},
)
@article(DawarGK04,
 author       = {Anuj Dawar and Erich Gr{\"{a}}del and Stephan Kreutzer},
 year         = {2004},
 title        = {Inflationary fixed points in modal logic},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {5},
 number       = {2},
 pages        = {282--315},
 doi          = {10.1145/976706.976710},
)
@inproceedings(Filliatre-hash,
 author       = {Jean-Christophe Filli\^{a}tre and Sylvain Conchon},
 year         = {2006},
 title        = {Type-safe Modular Hash-consing},
 booktitle    = {Proceedings of the 2006 Workshop on ML},
 series       = {ML '06},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {12--19},
 doi          = {10.1145/1159876.1159880},
)
@inproceedings(FujimaIK13,
 author       = {Koichi Fujima and Sohei Ito and Naoki Kobayashi},
 year         = {2013},
 title        = {Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes},
 booktitle    = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
 pages        = {17--32},
 doi          = {10.1007/978-3-319-03542-0\_2},
)
@inproceedings(Gonthier92thegeometry,
 author       = {Georges Gonthier and Mart\'{\i}n Abadi and Jean-Jacques L{\'e}vy},
 year         = {1992},
 title        = {The Geometry of Optimal Lambda Reduction},
 booktitle    = {Proceedings of the 19th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series       = {POPL '92},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {15--26},
 doi          = {10.1145/143165.143172},
)
@inproceedings(Goubault-hash,
 author       = {Jean Goubault},
 year         = {1993},
 title        = {Implementing Functional Languages with Fast Equality Sets and Maps: an Exercise in Hash Cons},
 booktitle    = {Journ\'ees Francophones des Langages Applicatifs (JFLA'93)},
 address      = {Annecy},
 pages        = {222--238},
)
@inproceedings(HagueMOS08,
 author       = {Matthew Hague and Andrzej S. Murawski and C.{-}H. Luke Ong and Olivier Serre},
 year         = {2008},
 title        = {Collapsible Pushdown Automata and Recursion Schemes},
 booktitle    = {Proceedings of the Twenty-Third Annual {IEEE} Symposium on Logic in Computer Science, {LICS} 2008, 24-27 June 2008, Pittsburgh, PA, {USA}},
 pages        = {452--461},
 doi          = {10.1109/LICS.2008.34},
)
@inproceedings(Lamping90,
 author       = {John Lamping},
 year         = {1990},
 title        = {An Algorithm for Optimal Lambda Calculus Reduction},
 booktitle    = {Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series       = {POPL '90},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {16--30},
 doi          = {10.1145/96709.96711},
)
@inproceedings(LangeL14,
 author       = {Martin Lange and {\'{E}}tienne Lozes},
 year         = {2014},
 title        = {Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic},
 booktitle    = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings},
 pages        = {90--103},
 doi          = {10.1007/978-3-662-44602-7\_8},
)
@phdthesis(phdlaurent,
 author       = {Olivier Laurent},
 year         = {2002},
 title        = {Etude de la polarisation en logique},
 type         = {Th\`ese de doctorat},
 school       = {{U}niversit\'e {A}ix-{M}arseille~{II}},
)
@inproceedings(Mackie98,
 author       = {Ian Mackie},
 year         = {1998},
 title        = {YALE: Yet Another Lambda Evaluator Based on Interaction Nets},
 booktitle    = {Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming},
 series       = {ICFP '98},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {117--128},
 doi          = {10.1145/289423.289434},
)
@article(Maslov76,
 author       = {A. N. Maslov.},
 year         = {1976},
 title        = {Multilevel stack automata},
 journal      = {Problems of Information Transmission},
 volume       = {12},
 pages        = {38--43},
)
@article(SalvatiW14,
 author       = {Sylvain Salvati and Igor Walukiewicz},
 year         = {2014},
 title        = {Krivine machines and higher-order schemes},
 journal      = {Inf. Comput.},
 volume       = {239},
 pages        = {340--355},
 doi          = {10.1016/j.ic.2014.07.012},
)
@inproceedings(TeraoK14,
 author       = {Taku Terao and Naoki Kobayashi},
 year         = {2014},
 title        = {A ZDD-Based Efficient Higher-Order Model Checking Algorithm},
 booktitle    = {Programming Languages and Systems - 12th Asian Symposium, {APLAS} 2014, Singapore, November 17-19, 2014, Proceedings},
 pages        = {354--371},
 doi          = {10.1007/978-3-319-12736-1\_19},
)
@inproceedings(ViswanathanV04,
 author       = {Mahesh Viswanathan and Ramesh 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},
)