@incollection{LUTZ_2002,
    doi = {10.1142/9789812776471_0018},
    url = {https://doi.org/10.1142%2F9789812776471_0018},
    year = {2002},
    month = {sep},
    publisher = {{WORLD} {SCIENTIFIC}},
    pages = {329--348},
    author = {CARSTEN LUTZ and ULRIKE SATTLER},
    title = {The Complexity of Reasoning with Boolean Modal Logics},
    booktitle = {Advances in Modal Logic}
}

@incollection{LUTZ_2002, doi = {10.1142/9789812776471_0018}, url = {https://doi.org/10.1142%2F9789812776471_0018}, year = {2002}, month = {sep}, publisher = {{WORLD} {SCIENTIFIC}}, pages = {329--348}, author = {CARSTEN LUTZ and ULRIKE SATTLER}, title = {The Complexity of Reasoning with Boolean Modal Logics}, booktitle = {Advances in Modal Logic} }