@article{EtessamiWilke:IC:2000,
    title = {An Until Hierarchy and Other Applications of an Ehrenfeucht–Fraı̈ssé Game for Temporal Logic},
    volume = {160},
    issn = {0890-5401},
    url = {http://dx.doi.org/10.1006/inco.1999.2846},
    doi = {10.1006/inco.1999.2846},
    number = {1–2},
    journal = {Information and Computation},
    publisher = {Elsevier BV},
    author = {Etessami, Kousha and Wilke, Thomas},
    year = {2000},
    month = {jul},
    pages = {88–108},
    date-added = {2026-3-2 8:48:3 +0100}
}

@article{EtessamiWilke:IC:2000, title = {An Until Hierarchy and Other Applications of an Ehrenfeucht–Fraı̈ssé Game for Temporal Logic}, volume = {160}, issn = {0890-5401}, url = {http://dx.doi.org/10.1006/inco.1999.2846}, doi = {10.1006/inco.1999.2846}, number = {1–2}, journal = {Information and Computation}, publisher = {Elsevier BV}, author = {Etessami, Kousha and Wilke, Thomas}, year = {2000}, month = {jul}, pages = {88–108}, date-added = {2026-3-2 8:48:3 +0100} }