@incollection{LangeLozes:Capturing:TCS2014,
    Author = {Lange, Martin and Lozes, Etienne},
    BookTitle = {Theoretical Computer Science},
    Editor = {Diaz, Josep and Lanese, Ivan and Sangiorgi, Davide},
    ISBN = {978-3-662-44601-0},
    Language = {English},
    Pages = {90-103},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic},
    URL = {http://dx.doi.org/10.1007/978-3-662-44602-7\_8},
    Volume = {8705},
    Year = {2014},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-44602-7\_8},
    date-added = {2014-09-03 05:27:01 +0000},
    date-modified = {2014-09-03 05:27:01 +0000},
    doi = {10.1007/978-3-662-44602-7_8}
}

@incollection{LangeLozes:Capturing:TCS2014, Author = {Lange, Martin and Lozes, Etienne}, BookTitle = {Theoretical Computer Science}, Editor = {Diaz, Josep and Lanese, Ivan and Sangiorgi, Davide}, ISBN = {978-3-662-44601-0}, Language = {English}, Pages = {90-103}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic}, URL = {http://dx.doi.org/10.1007/978-3-662-44602-7_8}, Volume = {8705}, Year = {2014}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-44602-7_8}, date-added = {2014-09-03 05:27:01 +0000}, date-modified = {2014-09-03 05:27:01 +0000}, doi = {10.1007/978-3-662-44602-7_8} }