@article{Hooker_1993,
    doi = {10.1016/0743-1066(93)90018-c},
    url = {https://doi.org/10.1016%2F0743-1066%2893%2990018-c},
    year = {1993},
    month = {jan},
    publisher = {Elsevier {BV}},
    volume = {15},
    number = {1-2},
    pages = {177--186},
    author = {J.N. Hooker},
    title = {Solving the incremental satisfiability problem},
    journal = {The Journal of Logic Programming}
}

@article{Hooker_1993, doi = {10.1016/0743-1066(93)90018-c}, url = {https://doi.org/10.1016%2F0743-1066%2893%2990018-c}, year = {1993}, month = {jan}, publisher = {Elsevier {BV}}, volume = {15}, number = {1-2}, pages = {177--186}, author = {J.N. Hooker}, title = {Solving the incremental satisfiability problem}, journal = {The Journal of Logic Programming} }