@article{Demri_2002,
    title = {The Complexity of Propositional Linear Temporal Logics in Simple Cases},
    volume = {174},
    issn = {0890-5401},
    url = {http://dx.doi.org/10.1006/inco.2001.3094},
    doi = {10.1006/inco.2001.3094},
    number = {1},
    journal = {Information and Computation},
    publisher = {Elsevier BV},
    author = {Demri, Stéphane and Schnoebelen, Philippe},
    year = {2002},
    month = {apr},
    pages = {84–103},
    date-added = {2026-3-10 8:33:44 +0100}
}

@article{Demri_2002, title = {The Complexity of Propositional Linear Temporal Logics in Simple Cases}, volume = {174}, issn = {0890-5401}, url = {http://dx.doi.org/10.1006/inco.2001.3094}, doi = {10.1006/inco.2001.3094}, number = {1}, journal = {Information and Computation}, publisher = {Elsevier BV}, author = {Demri, Stéphane and Schnoebelen, Philippe}, year = {2002}, month = {apr}, pages = {84–103}, date-added = {2026-3-10 8:33:44 +0100} }