@article{Lutz_2005,
    doi = {10.1016/j.ic.2004.11.002},
    url = {https://doi.org/10.1016%2Fj.ic.2004.11.002},
    year = {2005},
    month = {may},
    publisher = {Elsevier {BV}},
    volume = {199},
    number = {1-2},
    pages = {132--171},
    author = {Carsten Lutz and Ulrike Sattler and Lidia Tendera},
    title = {The complexity of finite model reasoning in description logics},
    journal = {Information and Computation}
}

@article{Lutz_2005, doi = {10.1016/j.ic.2004.11.002}, url = {https://doi.org/10.1016%2Fj.ic.2004.11.002}, year = {2005}, month = {may}, publisher = {Elsevier {BV}}, volume = {199}, number = {1-2}, pages = {132--171}, author = {Carsten Lutz and Ulrike Sattler and Lidia Tendera}, title = {The complexity of finite model reasoning in description logics}, journal = {Information and Computation} }