@inproceedings{Lange:2005:CMC:2138485.2138542,
    Address = {Berlin, Heidelberg},
    Author = {Lange, Martin and Somla, Rafa\l},
    BookTitle = {Proceedings of the 30th International Conference on Mathematical Foundations of Computer Science},
    File = {The Complexity of Model Checking Higher Order Fixpoint Logic - Lange, Somla (0) (0) - a - a - j.pdf},
    ISBN = {3-540-28702-7, 978-3-540-28702-5},
    Location = {Gdansk, Poland},
    Pages = {640--651},
    Publisher = {Springer-Verlag},
    Series = {MFCS'05},
    Title = {The Complexity of Model Checking Higher Order Fixpoint Logic},
    URL = {http://dx.doi.org/10.1007/11549345\_55},
    Year = {2005},
    acmid = {2138542},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11549345\_55},
    date-added = {2014-03-21 13:28:09 +0000},
    date-modified = {2014-03-21 13:28:09 +0000},
    file-2 = {The Complexity of Model Checking Higher Order Fixpoint Logic - Lange, Somla (1) (0) - a - a - j.pdf},
    numpages = {12},
    doi = {10.1007/11549345_55}
}

@inproceedings{Lange:2005:CMC:2138485.2138542, Address = {Berlin, Heidelberg}, Author = {Lange, Martin and Somla, Rafa\l}, BookTitle = {Proceedings of the 30th International Conference on Mathematical Foundations of Computer Science}, File = {The Complexity of Model Checking Higher Order Fixpoint Logic - Lange, Somla (0) (0) - a - a - j.pdf}, ISBN = {3-540-28702-7, 978-3-540-28702-5}, Location = {Gdansk, Poland}, Pages = {640--651}, Publisher = {Springer-Verlag}, Series = {MFCS'05}, Title = {The Complexity of Model Checking Higher Order Fixpoint Logic}, URL = {http://dx.doi.org/10.1007/11549345_55}, Year = {2005}, acmid = {2138542}, bdsk-url-1 = {http://dx.doi.org/10.1007/11549345_55}, date-added = {2014-03-21 13:28:09 +0000}, date-modified = {2014-03-21 13:28:09 +0000}, file-2 = {The Complexity of Model Checking Higher Order Fixpoint Logic - Lange, Somla (1) (0) - a - a - j.pdf}, numpages = {12}, doi = {10.1007/11549345_55} }