@incollection{kobele:salvati:2013,
    Author = {Kobele, Gregory M. and Salvati, Sylvain},
    BookTitle = {Automata, Languages, and Programming},
    Editor = {Fomin, FedorV. and Freivalds, R{\=u}si{\c n}{\v s} and Kwiatkowska, Marta and Peleg, David},
    File = {The IO and OI Hierarchies Revisited - Kobele, Salvati (1) (0) - a - a - k.pdf},
    ISBN = {978-3-642-39211-5},
    Keywords = {readme and simply-typed lambda calculus and higher-order recursive schemes},
    Pages = {336--348},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {The IO and OI Hierarchies Revisited},
    URL = {http://dx.doi.org/10.1007/978-3-642-39212-2\_31},
    Volume = {7966},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-39212-2\_31},
    date-added = {2013-07-15 10:04:44 +0000},
    date-modified = {2016-03-14 16:01:50 +0000},
    file-2 = {The IO and OI Hierarchies Revisited - Kobele, Salvati (0) (1) - a - a - k.pdf},
    doi = {10.1007/978-3-642-39212-2_31}
}

@incollection{kobele:salvati:2013, Author = {Kobele, Gregory M. and Salvati, Sylvain}, BookTitle = {Automata, Languages, and Programming}, Editor = {Fomin, FedorV. and Freivalds, R{\=u}si{\c n}{\v s} and Kwiatkowska, Marta and Peleg, David}, File = {The IO and OI Hierarchies Revisited - Kobele, Salvati (1) (0) - a - a - k.pdf}, ISBN = {978-3-642-39211-5}, Keywords = {readme and simply-typed lambda calculus and higher-order recursive schemes}, Pages = {336--348}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {The IO and OI Hierarchies Revisited}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_31}, Volume = {7966}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-39212-2_31}, date-added = {2013-07-15 10:04:44 +0000}, date-modified = {2016-03-14 16:01:50 +0000}, file-2 = {The IO and OI Hierarchies Revisited - Kobele, Salvati (0) (1) - a - a - k.pdf}, doi = {10.1007/978-3-642-39212-2_31} }