@article{Kozen2001187,
    Author = {Kozen, Dexter and Tiuryn, Jerzy},
    File = {On the completeness of propositional Hoare logic - Kozen, Tiuryn (0) (0) - a - a - y.pdf},
    ISSN = {0020-0255},
    Journal = {Information Sciences},
    Keywords = {Hoare logic and axiomatic semantics},
    Note = {<ce:title>Relational Methods in Computer Sciece</ce:title>},
    Number = {3{\^a}€``4},
    Pages = {187 - 195},
    Title = {On the completeness of propositional Hoare logic},
    URL = {http://www.sciencedirect.com/science/article/pii/S0020025501001645},
    Volume = {139},
    Year = {2001},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0020025501001645},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S0020-0255(01)00164-5},
    date-added = {2013-01-22 05:05:52 +0000},
    date-modified = {2013-01-22 05:58:22 +0000},
    doi = {10.1016/S0020-0255(01)00164-5}
}

@article{Kozen2001187, Author = {Kozen, Dexter and Tiuryn, Jerzy}, File = {On the completeness of propositional Hoare logic - Kozen, Tiuryn (0) (0) - a - a - y.pdf}, ISSN = {0020-0255}, Journal = {Information Sciences}, Keywords = {Hoare logic and axiomatic semantics}, Note = {Relational Methods in Computer Sciece}, Number = {3{\^a}€``4}, Pages = {187 - 195}, Title = {On the completeness of propositional Hoare logic}, URL = {http://www.sciencedirect.com/science/article/pii/S0020025501001645}, Volume = {139}, Year = {2001}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0020025501001645}, bdsk-url-2 = {http://dx.doi.org/10.1016/S0020-0255(01)00164-5}, date-added = {2013-01-22 05:05:52 +0000}, date-modified = {2013-01-22 05:58:22 +0000}, doi = {10.1016/S0020-0255(01)00164-5} }