@inproceedings{Emerson:1984:DBT:800057.808661,
    Address = {New York, NY, USA},
    Author = {Emerson, E. Allen and Sistla, A. Prasad},
    BookTitle = {Proceedings of the sixteenth annual ACM symposium on Theory of computing},
    File = {Deciding branching time logic - Emerson, Sistla (0) (0) - a - a - p.pdf},
    ISBN = {0-89791-133-4},
    Keywords = {classic},
    Pages = {14--24},
    Publisher = {ACM},
    Series = {STOC '84},
    Title = {Deciding branching time logic},
    URL = {http://doi.acm.org/10.1145/800057.808661},
    Year = {1984},
    acmid = {808661},
    bdsk-url-1 = {http://doi.acm.org/10.1145/800057.808661},
    bdsk-url-2 = {http://dx.doi.org/10.1145/800057.808661},
    date-added = {2013-07-12 10:20:11 +0000},
    date-modified = {2013-07-12 10:21:52 +0000},
    numpages = {11},
    doi = {10.1145/800057.808661}
}

@inproceedings{Emerson:1984:DBT:800057.808661, Address = {New York, NY, USA}, Author = {Emerson, E. Allen and Sistla, A. Prasad}, BookTitle = {Proceedings of the sixteenth annual ACM symposium on Theory of computing}, File = {Deciding branching time logic - Emerson, Sistla (0) (0) - a - a - p.pdf}, ISBN = {0-89791-133-4}, Keywords = {classic}, Pages = {14--24}, Publisher = {ACM}, Series = {STOC '84}, Title = {Deciding branching time logic}, URL = {http://doi.acm.org/10.1145/800057.808661}, Year = {1984}, acmid = {808661}, bdsk-url-1 = {http://doi.acm.org/10.1145/800057.808661}, bdsk-url-2 = {http://dx.doi.org/10.1145/800057.808661}, date-added = {2013-07-12 10:20:11 +0000}, date-modified = {2013-07-12 10:21:52 +0000}, numpages = {11}, doi = {10.1145/800057.808661} }