@article{VW94:reasoning,
    Address = {Duluth, MN, USA},
    Author = {Vardi, Moshe Y. and Wolper, Pierre},
    File = {Reasoning about infinite computations - Vardi, Wolper (0) (0) - a - a - c.pdf},
    ISSN = {0890-5401},
    Journal = {Inf. Comput.},
    Keywords = {temporal logic and model checking and automata theory and classic},
    Month = {November},
    Number = {1},
    Pages = {1--37},
    Publisher = {Academic Press, Inc.},
    Title = {Reasoning about infinite computations},
    URL = {http://dx.doi.org/10.1006/inco.1994.1092},
    Volume = {115},
    Year = {1994},
    acmid = {191907},
    bdsk-url-1 = {http://dx.doi.org/10.1006/inco.1994.1092},
    date-added = {2012-04-04 18:39:34 +0200},
    date-modified = {2013-07-12 10:02:22 +0000},
    issue_date = {Nov. 15, 1994},
    numpages = {37},
    doi = {10.1006/inco.1994.1092}
}

@article{VW94:reasoning, Address = {Duluth, MN, USA}, Author = {Vardi, Moshe Y. and Wolper, Pierre}, File = {Reasoning about infinite computations - Vardi, Wolper (0) (0) - a - a - c.pdf}, ISSN = {0890-5401}, Journal = {Inf. Comput.}, Keywords = {temporal logic and model checking and automata theory and classic}, Month = {November}, Number = {1}, Pages = {1--37}, Publisher = {Academic Press, Inc.}, Title = {Reasoning about infinite computations}, URL = {http://dx.doi.org/10.1006/inco.1994.1092}, Volume = {115}, Year = {1994}, acmid = {191907}, bdsk-url-1 = {http://dx.doi.org/10.1006/inco.1994.1092}, date-added = {2012-04-04 18:39:34 +0200}, date-modified = {2013-07-12 10:02:22 +0000}, issue_date = {Nov. 15, 1994}, numpages = {37}, doi = {10.1006/inco.1994.1092} }