PSPACE Bounds for Rank 1 Modal Logics

@inproceedings{pub3916,
    author = {

Schröder, Lutz
 and 

Pattinson, Dirk
},
    editor = {

Alur, Rajeev
},
    title = {PSPACE Bounds for Rank 1 Modal Logics},
    booktitle = {Twenty-First Annual IEEE Symposium on Logic in Computer Science (LICS 2006). IEEE Symposium on Logic in Computer Science (LICS-06), August 12-15, Seattle, Washington, United States},
    year = {2006},
    pages = {231--240},
    publisher = {IEEE},
    note = {Presentation slides available}
}