@inproceedings{Bruse2014,
    Address = {Berlin, Heidelberg},
    Author = {Bruse, Florian},
    BookTitle = {Mathematical Foundations of Computer Science 2014: 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I},
    Editor = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
    ISBN = {978-3-662-44522-8},
    Keywords = {higher-order fixpoint logic and higher-order recursive schemes and Krivine machine},
    Pages = {111--122},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Alternating Parity Krivine Automata},
    URL = {http://dx.doi.org/10.1007/978-3-662-44522-8\_10},
    Year = {2014},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-44522-8\_10},
    date-added = {2016-06-28 12:24:24 +0000},
    date-modified = {2017-04-20 16:51:54 +0000},
    doi = {10.1007/978-3-662-44522-8_10}
}

@inproceedings{Bruse2014, Address = {Berlin, Heidelberg}, Author = {Bruse, Florian}, BookTitle = {Mathematical Foundations of Computer Science 2014: 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I}, Editor = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n}, ISBN = {978-3-662-44522-8}, Keywords = {higher-order fixpoint logic and higher-order recursive schemes and Krivine machine}, Pages = {111--122}, Publisher = {Springer Berlin Heidelberg}, Title = {Alternating Parity Krivine Automata}, URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_10}, Year = {2014}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-44522-8_10}, date-added = {2016-06-28 12:24:24 +0000}, date-modified = {2017-04-20 16:51:54 +0000}, doi = {10.1007/978-3-662-44522-8_10} }