@article{Dowling1984267,
    Author = {Dowling, William F. and Gallier, Jean H.},
    File = {Linear-time algorithms for testing the satisfiability of propositional horn formulae - Dowling, Gallier (0) (0) - a - a - a.pdf},
    ISSN = {0743-1066},
    Journal = {The Journal of Logic Programming},
    Keywords = {logic programming and satisfiability},
    Number = {3},
    Pages = {267 - 284},
    Title = {Linear-time algorithms for testing the satisfiability of propositional horn formulae},
    URL = {http://www.sciencedirect.com/science/article/pii/0743106684900141},
    Volume = {1},
    Year = {1984},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0743106684900141},
    bdsk-url-2 = {http://dx.doi.org/10.1016/0743-1066(84)90014-1},
    date-added = {2013-04-08 09:07:12 +0000},
    date-modified = {2013-04-08 09:07:25 +0000},
    doi = {10.1016/0743-1066(84)90014-1}
}

@article{Dowling1984267, Author = {Dowling, William F. and Gallier, Jean H.}, File = {Linear-time algorithms for testing the satisfiability of propositional horn formulae - Dowling, Gallier (0) (0) - a - a - a.pdf}, ISSN = {0743-1066}, Journal = {The Journal of Logic Programming}, Keywords = {logic programming and satisfiability}, Number = {3}, Pages = {267 - 284}, Title = {Linear-time algorithms for testing the satisfiability of propositional horn formulae}, URL = {http://www.sciencedirect.com/science/article/pii/0743106684900141}, Volume = {1}, Year = {1984}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0743106684900141}, bdsk-url-2 = {http://dx.doi.org/10.1016/0743-1066(84)90014-1}, date-added = {2013-04-08 09:07:12 +0000}, date-modified = {2013-04-08 09:07:25 +0000}, doi = {10.1016/0743-1066(84)90014-1} }