@misc {IOPORT.70864491,
    author       = {Maidl, Monika},
    title        = {The common fragment of CTL and LTL},
    howpublished = {FOCS, 643-652 (2000).},
    year         = {2000},
    identifier   = {70864491},
}